# HG changeset patch
# User wenzelm
# Date 1119026018 -7200
# Node ID af3afdbd09eaecf1b6e4e6b2ba35f18137bef0ba
# Parent  71f3e0041f14000047863593e412ecfa81f5eb5f
PolyML.Compiler.printInAlphabeticalOrder := false;

diff -r 71f3e0041f14 -r af3afdbd09ea src/Pure/ML-Systems/polyml.ML
--- a/src/Pure/ML-Systems/polyml.ML	Fri Jun 17 18:33:37 2005 +0200
+++ b/src/Pure/ML-Systems/polyml.ML	Fri Jun 17 18:33:38 2005 +0200
@@ -8,6 +8,9 @@
 
 (** ML system and platform related **)
 
+PolyML.Compiler.printInAlphabeticalOrder := false;
+
+
 (* cygwin *)
 
 val cygwin_platform =