[m-rev.] trivial diff: remove workarounds for constraint_prop bug

[Julien Fischer]

Estimated hours taken: 0
Branches: main

compiler/Mercury.options:
	Remove the workarounds that were necessary for the
	constraint_prop bug.  The bug has now been fixed.
Julien.

Index: compiler/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/Mercury.options,v
retrieving revision 1.16
diff -u -r1.16 Mercury.options
--- compiler/Mercury.options	24 May 2005 04:25:21 -0000	1.16
+++ compiler/Mercury.options	1 Aug 2005 13:28:08 -0000
@@ -41,10 +41,6 @@
 # This is the same bug as tests/valid/ho_and_type_spec_bug
 MCFLAGS-mode_robdd.tfeirn = -O3

-# This is the same bug as tests/valid/constraint_prop_bug
-MCFLAGS-recompilation.version = --no-local-constraint-propagation --no-common-struct
-MCFLAGS-transform_hlds.exception_analysis = --no-local-constraint-propagation --no-common-struct
-
 # The c_code in the module gcc.m needs the header files from the GNU C
 # distribution.  Note that we need to compile these with
 # -DMR_NO_BACKWARDS_COMPAT, because otherwise there are name

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