diff: fix profiler.

Tyson Dowd trd at cs.mu.OZ.AU
Tue Oct 13 13:55:08 AEST 1998


This has already been committed.


Estimated hours taken: 0.5

profiler/globals.m:
	Use unsafe_promise_unique instead of copy, it appears there
	is a bug in copy/2 on the x86.


Index: globals.m
===================================================================
RCS file: /home/mercury1/repository/mercury/profiler/globals.m,v
retrieving revision 1.5
diff -u -r1.5 globals.m
--- globals.m	1997/12/05 15:55:46	1.5
+++ globals.m	1998/10/12 11:20:31
@@ -178,7 +178,7 @@
 	}.
 
 globals__io_set_globals(Globals0) -->
-	{ copy(Globals0, Globals) },
+	{ unsafe_promise_unique(Globals0, Globals) },
 	{ type_to_univ(Globals, UnivGlobals) },
 	io__set_globals(UnivGlobals).
 

-- 
Those who would give up essential liberty to purchase a little temporary
safety deserve neither liberty nor safety.     - Benjamin Franklin

Tyson Dowd   <tyson at tyse.net>   http://tyse.net



More information about the developers mailing list