[m-dev.] trivial diff: memory allocation in clpr/cfloat.m

[Fergus Henderson]

Estimated hours taken: 0.1

clpr/cfloat.m:
	Fix a bug arising from my recent changes to the names of the
	memory allocation functions: s/make/MR_GC_NEW/

Workspace: /d-drive/home/hg/fjh/mercury
Index: cfloat.m
===================================================================
RCS file: /home/mercury1/repository/clpr/cfloat.m,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -u -r1.24 -r1.25
--- cfloat.m	1999/10/08 02:56:00	1.24
+++ cfloat.m	1999/10/18 21:38:07	1.25
@@ -416,7 +416,7 @@
 
 	if (choicepoint->next == NULL) {
 		ML_cfloat_choicepoint *next_choicepoint;
-		next_choicepoint = make(ML_cfloat_choicepoint);
+		next_choicepoint = MR_GC_NEW(ML_cfloat_choicepoint);
 		next_choicepoint->next = NULL;
 		choicepoint->next = next_choicepoint;
 	}

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