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