[m-rev.] trivial diff: workaround a bug that is preventing boostrapping

[Julien Fischer]

On Thu, 14 Apr 2005, Julien Fischer wrote:

>
> Estimated hours taken: 0.1
> Branches: main, release
>
> compiler/mode_robdd.tfeirn.m:

That should of course be compiler/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
--------------------------------------------------------------------------