[m-dev.] diff: keeping trace namespace-clean

[Zoltan Somogyi]

On 11-Jan-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> OK, that explains the omission of `check_headers_macros'.
> But what about `check_headers', which checks that each header file
> is self-contained?

The fact that I did not look at it, thinking that it was part of the
implementation of check_headers_macros

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------