[m-rev.] diff: tests/valid/exists_cast_bug

[Zoltan Somogyi]

tests/valid/Mercury.options:
	Allow a test to succeed in .decldebug grades.

Zoltan.

cvs diff: Diffing .
Index: Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/valid/Mercury.options,v
retrieving revision 1.22
diff -u -b -r1.22 Mercury.options
--- Mercury.options	16 Aug 2005 05:17:07 -0000	1.22
+++ Mercury.options	21 Aug 2005 12:19:16 -0000
@@ -38,7 +38,7 @@
 MCFLAGS-deforest_loop		= -O3 --intermodule-optimization
 MCFLAGS-deforest_rerun_det	= -O3 --check-termination
 MCFLAGS-double_vn		= -O4
-MCFLAGS-exists_cast_bug		= --trace deep -O0 --optimize-saved-vars-const
+MCFLAGS-exists_cast_bug		= --trace rep -O0 --optimize-saved-vars-const
 MCFLAGS-explicit_quant		= --halt-at-warn
 MCFLAGS-foreign_underscore_var	= --halt-at-warn
 MCFLAGS-higher_order4		= -O3
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------