[m-dev.] trivial diff: bug fix in Opium-M

[Erwan Jahier]

Estimated hours taken:0.5

Fix a bug in Opium-M. After a `no_trace' request, the execution is moving
forward; thus the static variable `external_debugger_mode' must be set to
`MR_searching' (otherwise, MR_trace_final_external() is called with
`external_debugger_mode' set to `MR_reading' which leads to a fatal_error()).

trace/mercury_trace_external.c:
	Set the static variable `external_debugger_mode' to `MR_searching'
	after a `no_trace' request.

--- mercury_trace_external.c    1999/11/04 07:19:16     1.30
+++ mercury_trace_external.c    1999/11/04 15:12:33
@@ -755,6 +755,7 @@
                          }
                        case MR_REQUEST_NO_TRACE:
                                cmd->MR_trace_cmd = MR_CMD_TO_END;
+                               external_debugger_mode = MR_searching;
                                goto done;
 
                        case MR_REQUEST_LINK_COLLECT:

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