Re: glr: include the created header

[Paul Hilfinger]

> > Ok to install?  The test suite passes with no modification.
> 
> That change looks good to me as well.  Thanks.
> I'd like to hear Paul H's opinion of course.

Looks good to me, too.

Paul H.