[m-rev.] trivial diff: fix a failing test case
Julien Fischer
juliensf at csse.unimelb.edu.au
Mon Feb 5 19:43:02 AEDT 2007
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
--------------------------------------------------------------------------
More information about the reviews
mailing list