# HG changeset patch
# User wenzelm
# Date 1192905143 -7200
# Node ID a7dd8d3bf9692ac5d6ca6f54785d8e61f2fdb348
# Parent  8831ca91f43f5e64311493ff35686c095a8ef23f
maintain PolyML.Compiler.printInAlphabeticalOrder in polyml.ML;

diff -r 8831ca91f43f -r a7dd8d3bf969 lib/scripts/run-polyml-5.0
--- a/lib/scripts/run-polyml-5.0	Sat Oct 20 20:31:50 2007 +0200
+++ b/lib/scripts/run-polyml-5.0	Sat Oct 20 20:32:23 2007 +0200
@@ -67,7 +67,7 @@
 
 ## run it!
 
-MLTEXT="PolyML.Compiler.printInAlphabeticalOrder := false; $EXIT $COMMIT $MLTEXT"
+MLTEXT="$EXIT $COMMIT $MLTEXT"
 MLEXIT="commit();"
 
 if [ -z "$TERMINATE" ]; then