[m-rev.] trivial diff: fix "!" in tests/tabling/boyer.m

[Fergus Henderson]

Branches: main
Estimated hours taken: 0.25

Fix a test case failure due to the recent state-variable change.

tests/tabling/boyer.m:
	Avoid use of "!" as Prolog-style green cut: s/!/true/.

Workspace: /home/ceres/fjh/ws-ceres2/mercury
Index: tests/tabling/boyer.m
===================================================================
RCS file: /home/mercury1/repository/tests/tabling/boyer.m,v
retrieving revision 1.1
diff -u -d -r1.1 boyer.m
--- tests/tabling/boyer.m	14 Aug 1998 06:27:07 -0000	1.1
+++ tests/tabling/boyer.m	27 Jul 2002 22:23:51 -0000
@@ -297,7 +297,7 @@
 :- pred lessp(type_wff,type_wff,type_wff) .
 :- mode lessp(in,in,out) is semidet .
 
-lessp(plus(X,Y), plus(X,Z), lessp(Y,Z)) :- !.
+lessp(plus(X,Y), plus(X,Z), lessp(Y,Z)) :- true.
 
 :- pred plus(type_wff,type_wff,type_wff) .
 :- mode plus(in,in,out) is semidet .

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