Re: Conflicts with header guards

[Paul Eggert]

On 09/25/2012 01:15 AM, Akim Demaille wrote:
> Unless I have misunderstood your suggestion.

No, you got it right, and clearly I got it wrong :-).  Thanks.