src/Pure/ML-Systems/polyml.ML
changeset 16453 af3afdbd09ea
parent 16374 f4b7cf8975af
child 16502 5a56e59526a5
     1.1 --- a/src/Pure/ML-Systems/polyml.ML	Fri Jun 17 18:33:37 2005 +0200
     1.2 +++ b/src/Pure/ML-Systems/polyml.ML	Fri Jun 17 18:33:38 2005 +0200
     1.3 @@ -8,6 +8,9 @@
     1.4  
     1.5  (** ML system and platform related **)
     1.6  
     1.7 +PolyML.Compiler.printInAlphabeticalOrder := false;
     1.8 +
     1.9 +
    1.10  (* cygwin *)
    1.11  
    1.12  val cygwin_platform =