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