src/Pure/ML-Systems/poplogml.ML

--- a/src/Pure/ML-Systems/poplogml.ML	Sun Sep 16 14:52:31 2007 +0200
+++ b/src/Pure/ML-Systems/poplogml.ML	Sun Sep 16 14:52:32 2007 +0200
@@ -7,6 +7,8 @@
 
 (* Compiler and runtime options *)
 
+val ml_system_fix_ints = false;
+
 val _ = Compile.filetype := ".ML";
 val _ = Memory.hilim := let fun MB n = n div 4 * 1024 * 1024 in MB 120 end;
 val _ = Memory.stacklim := 10 * ! Memory.stacklim;