[m-rev.] diff: reset contains_trace_goal if necessary

[Julien Fischer]

On Fri, 10 Nov 2006, Ralph Becket wrote:

> Hmm.  I would certainly want a warning if code containing a trace goal
> was optimized away.

Why?

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------