[m-rev.] diff: finish a bootstrap

[Zoltan Somogyi]

library/term_size_prof_builtin.m:
	Delete a predicate definition that is now redundant.

Zoltan.

cvs diff: Diffing .
Index: term_size_prof_builtin.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/term_size_prof_builtin.m,v
retrieving revision 1.1
diff -u -b -r1.1 term_size_prof_builtin.m
--- term_size_prof_builtin.m	20 Oct 2003 07:29:27 -0000	1.1
+++ term_size_prof_builtin.m	22 Dec 2003 12:51:56 -0000
@@ -117,8 +117,3 @@
 	MR_fatal_error(""increment_size: term size profiling not enabled"");
 #endif
 }").
-
-% Temporary definition, until the change to the compiler that makes
-% term_size_prof_builtin__plus a builtin is bootstrapped.
-
-term_size_plus(X, Y) = X + Y.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------