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

[Ralph Becket]

Julien Fischer, Friday, 10 November 2006:
> You would be expecting to see the output from the trace if the goal
> containing the trace had been optimized away?  How does that even
> make sense with optimization like dead code elimination?

Thinking a bit more, I retract that.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------