[m-rev.] trivial diff: fix a failing test case

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tests/invalid/promise_equivalent_solutions_test_2.err_exp:
 	Correct the expected output for this test case so that it
 	conforms with Ralph's recent change.

Julien.

Index: promise_equivalent_solutions_test_2.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/promise_equivalent_solutions_test_2.err_exp,v
retrieving revision 1.1
diff -u -r1.1 promise_equivalent_solutions_test_2.err_exp
--- promise_equivalent_solutions_test_2.err_exp	5 Feb 2007 03:12:54 -0000	1.1
+++ promise_equivalent_solutions_test_2.err_exp	5 Feb 2007 08:40:19 -0000
@@ -1,7 +1,7 @@
  promise_equivalent_solutions_test_2.m:020: Error: the
  promise_equivalent_solutions_test_2.m:020:   `promise_equivalent_solutions'
-promise_equivalent_solutions_test_2.m:020:   goal may bind a variable that is
-promise_equivalent_solutions_test_2.m:020:   not listed: Y.
+promise_equivalent_solutions_test_2.m:020:   goal may constrain a variable that
+promise_equivalent_solutions_test_2.m:020:   is not listed: Y.
  promise_equivalent_solutions_test_2.m:027: Error: the
  promise_equivalent_solutions_test_2.m:027:   `promise_equivalent_solutions'
  promise_equivalent_solutions_test_2.m:027:   goal binds a variable that is not

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------