[m-rev.] trivial diff: fix failure of invalid/any_to_ground_in_ite_cond

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tests/invalid/any_to_ground_in_ite_cond.err_exp:
	Update the expected output for this test case.
	Ralph's recent change to this test case changed the line numbers in
	the output.

Julien.

Index: any_to_ground_in_ite_cond.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/any_to_ground_in_ite_cond.err_exp,v
retrieving revision 1.2
diff -u -r1.2 any_to_ground_in_ite_cond.err_exp
--- any_to_ground_in_ite_cond.err_exp	14 Sep 2005 05:26:42 -0000	1.2
+++ any_to_ground_in_ite_cond.err_exp	14 Nov 2005 03:21:01 -0000
@@ -1,8 +1,8 @@
-any_to_ground_in_ite_cond.m:035: In clause for `main(di, uo)':
-any_to_ground_in_ite_cond.m:035:   in argument 1 of call to predicate
-any_to_ground_in_ite_cond.m:035:   `any_to_ground_in_ite_cond.p/1':
-any_to_ground_in_ite_cond.m:035:   scope error: attempt to bind a non-local
-any_to_ground_in_ite_cond.m:035:   variable inside the condition of an
-any_to_ground_in_ite_cond.m:035:   if-then-else.
-any_to_ground_in_ite_cond.m:035:   Variable `X' has instantiatedness `any',
-any_to_ground_in_ite_cond.m:035:   expected instantiatedness was `ground'.
+any_to_ground_in_ite_cond.m:036: In clause for `main(di, uo)':
+any_to_ground_in_ite_cond.m:036:   in argument 1 of call to predicate
+any_to_ground_in_ite_cond.m:036:   `any_to_ground_in_ite_cond.p/1':
+any_to_ground_in_ite_cond.m:036:   scope error: attempt to bind a non-local
+any_to_ground_in_ite_cond.m:036:   variable inside the condition of an
+any_to_ground_in_ite_cond.m:036:   if-then-else.
+any_to_ground_in_ite_cond.m:036:   Variable `X' has instantiatedness `any',
+any_to_ground_in_ite_cond.m:036:   expected instantiatedness was `ground'.


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