[m-rev.] diff: fix tests/valid/fzn_debug_abort

[Zoltan Somogyi]

tests/valid/Mercury.options:
	Compile the fzn_debug_abort test case with --trace rep, since
	--trace deep is not allowed in decldebug grades.

Zoltan.

cvs diff: Diffing .
Index: Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/valid/Mercury.options,v
retrieving revision 1.49
diff -u -b -r1.49 Mercury.options
--- Mercury.options	3 May 2008 14:54:00 -0000	1.49
+++ Mercury.options	3 Jun 2008 11:25:08 -0000
@@ -40,7 +40,7 @@
 MCFLAGS-explicit_quant		= --halt-at-warn
 MCFLAGS-func_class		= --no-warn-nothing-exported
 MCFLAGS-foreign_underscore_var	= --halt-at-warn
-MCFLAGS-fzn_debug_abort		= --trace deep
+MCFLAGS-fzn_debug_abort		= --trace rep
 MCFLAGS-higher_order4		= -O3
 MCFLAGS-higher_order_implied_mode = -O-1
 MCFLAGS-ho_and_type_spec_bug = -O4
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------