[m-dev.] diff: fix dd_dd

[Zoltan Somogyi]

trace/mercury_trace_declarative.c:
	Fix a bug that always caused the "dd_dd" command to abort. When we
	reach the original event at which the dd_dd command was issued, switch
	back from the mode in which append new events to the annotated trace
	to interactive mode.

Zoltan.

Index: mercury_trace_declarative.c
===================================================================
RCS file: /home/mercury1/repository/mercury/trace/mercury_trace_declarative.c,v
retrieving revision 1.63
diff -u -b -r1.63 mercury_trace_declarative.c
--- mercury_trace_declarative.c	5 Aug 2003 08:26:56 -0000	1.63
+++ mercury_trace_declarative.c	27 Aug 2003 10:47:34 -0000
@@ -1275,6 +1275,7 @@
 		** This is a quick and dirty way to debug the front end.
 		*/
 		MR_trace_enabled = MR_TRUE;
+		MR_trace_decl_mode = MR_TRACE_INTERACTIVE;
 	}
 
 	io_start = MR_edt_start_io_counter;
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------