[m-rev.] diff: increase from_ground_term_threshold to 1000000 to avoid regressions

[Peter Ross]

On Mon, Apr 27, 2009 at 12:05 PM, Julien Fischer
<juliensf at csse.unimelb.edu.au> wrote:
> You should add notes to each entry in the bug database about the
> workaround as well.
>
Done
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------