On Thu, Nov 14, 2013 at 11:13 AM, Andrew MacLeod <amacl...@redhat.com> wrote:
> very possibly, i just haven't gotten to those parts yet. I can change the > name back to gimple-decl.[ch] or some such thing if you like that better. As much as I hate to paint name sheds: gimple-val.[ch]. Diego.