[m-dev.] trivial diff: add MR_ prefix in lazy.m

[Fergus Henderson]

Estimated hours taken: 0.1

extras/lazy_evaluation/lazy.m:
	s/strip_tag/MR_strip_tag/

Workspace: /home/mercury0/fjh/mercury
Index: extras/lazy_evaluation/lazy.m
===================================================================
RCS file: /home/mercury1/repository/mercury/extras/lazy_evaluation/lazy.m,v
retrieving revision 1.1
diff -u -d -r1.1 lazy.m
--- lazy.m	1999/03/15 08:56:57	1.1
+++ lazy.m	1999/11/15 22:03:15
@@ -156,7 +156,7 @@
 	[will_not_call_mercury],
 "{
 	/* strip off tag bits */
-	Word *ptr = (Word *) strip_tag(MercuryTerm);
+	Word *ptr = (Word *) MR_strip_tag(MercuryTerm);
 	/* destructively update value */
 	*ptr = NewValue;
 }").

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------