[m-rev.] trivial diff: re-enable --optimize-higher-order

[Simon Taylor]

Estimated hours taken: 0.1

tools/test_mercury:
	Re-enable --optimize-higher-order on earth.
	The bug which caused it to be disabled has been fixed.


Index: test_mercury
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/test_mercury,v
retrieving revision 1.231
diff -u -u -r1.231 test_mercury
--- test_mercury	17 Jan 2003 08:38:39 -0000	1.231
+++ test_mercury	21 Jan 2003 06:01:04 -0000
@@ -213,9 +213,7 @@
 	earth)	
 			case $BRANCH in
 			    latest)
-				# XXX --optimize-higher-order is disabled
-				# until a bug fix is installed
-				OPTIMIZE="-O5 --intermodule-optimization --constraint-propagation --no-optimize-higher-order"
+				OPTIMIZE="-O5 --intermodule-optimization --constraint-propagation"
 				;;
 
 			    0.10)
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------