[m-rev.] diff: remove workaround

[Zoltan Somogyi]

library/Mercury.options:
	Delete Julien's workaround for the bug I fixed in jumpopt, since all
	our machines have now installed the fix. The configure script's test
	for --force-disable-tracing also tests for the bug fix.

Zoltan.

cvs diff: Diffing .
Index: Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/Mercury.options,v
retrieving revision 1.6
diff -u -b -r1.6 Mercury.options
--- Mercury.options	12 Jun 2005 16:30:59 -0000	1.6
+++ Mercury.options	29 Jun 2005 02:44:32 -0000
@@ -18,7 +18,6 @@
 
 # Bug workarounds.
 MCFLAGS-std_util += --no-halt-at-warn
-MCFLAGS-array += --no-optimize-dups
  
 # io.m uses library features that are supported by POSIX but which are not
 # part of ANSI C, such as `struct stat', fileno(), and putenv().
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------