[m-dev.] diff: fix bug with external debugger

[Erwan Jahier]

| Estimated hours taken: 2
| 
| trace/mercury_trace_external.c:
| 	Fix a bug: we need to disable tracing inside
| 	MR_trace_event_external(), just as is done in
| 	MR_trace_event_internal().

That's great!
Million thanks Fergus.

-- 
R1.


--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------