[m-rev.] diff: obsolete bintree_set

[Julien Fischer]

On Mon, 27 Mar 2006, Julien Fischer wrote:

> Estimated hours taken: 0.5
> Branches: main
>
...

> library/Mmakefile:
> 	Avoid warnings about calls to obsolete pragmas within bintree_set.
>

Sorry, that should be library/Mercury.options.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------