[m-rev.] diff: update expected output for partial_implied_mode test

[Julien Fischer]

tests/invalid/partial_implied_mode.err_exp:
	Update the expected output for this test case as
	it has changed since solver types were added.
	(Ralph posted a fix for this but didn't commit it).

Julien.

Index: partial_implied_mode.err_exp
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/partial_implied_mode.err_exp,v
retrieving revision 1.6
diff -u -r1.6 partial_implied_mode.err_exp
--- partial_implied_mode.err_exp	23 Aug 2004 09:53:13 -0000	1.6
+++ partial_implied_mode.err_exp	20 Sep 2004 12:41:15 -0000
@@ -1,6 +1,6 @@
 partial_implied_mode.m:033: In clause for `'__Unify__'((unique(partial_implied_mode2.physic_quantity(ground, free, unique(partial_implied_mode2.absol(free, free)))) >> bound(partial_implied_mode2.physic_quantity(ground, ground, bound(partial_implied_mode2.absol(ground, ground))))), (ground >> bound(partial_implied_mode2.physic_quantity(ground, ground, bound(partial_implied_mode2.absol(ground, ground))))))':
-partial_implied_mode.m:033:   mode error in unification of `HeadVar__1' and `partial_implied_mode2.physic_quantity(V_9, V_4, V_10)'.
+partial_implied_mode.m:033:   mode error in unification of `HeadVar__1' and `partial_implied_mode2.physic_quantity(V_11, V_4, V_12)'.
 partial_implied_mode.m:033:   Variable `HeadVar__1' has instantiatedness `unique(partial_implied_mode2.physic_quantity(ground, free, unique(partial_implied_mode2.absol(free, free))))',
-partial_implied_mode.m:033:   term `partial_implied_mode2.physic_quantity(V_9, V_4, V_10)'
+partial_implied_mode.m:033:   term `partial_implied_mode2.physic_quantity(V_11, V_4, V_12)'
 partial_implied_mode.m:033:   has instantiatedness `partial_implied_mode2.physic_quantity(free, ground, free)'.
 For more information, try recompiling with `-E'.

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