[m-dev.] diff: mercury_memory_handlers.c output fix

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.2

runtime/mercury_memory_handlers.c:
    Print a newline before dumping the stack.


Index: mercury_memory_handlers.c
===================================================================
RCS file: /home/mercury1/repository/mercury/runtime/mercury_memory_handlers.c,v
retrieving revision 1.12
diff -u -r1.12 mercury_memory_handlers.c
--- mercury_memory_handlers.c	2000/06/29 09:55:36	1.12
+++ mercury_memory_handlers.c	2000/07/27 11:50:19
@@ -813,6 +813,7 @@
 	fprintf(stderr, "\n*** Mercury runtime: Unhandled exception ");
 	MR_dump_exception_record(exception_ptrs->ExceptionRecord);
 
+	printf("\n");
 	print_dump_stack();
 	dump_prev_locations();
 	

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