src/Pure/ML-Systems/alice.ML
changeset 24597 cbf2c5cf335e
parent 24329 f31594168d27
child 24688 a5754ca5c510
     1.1 --- a/src/Pure/ML-Systems/alice.ML	Sun Sep 16 14:52:31 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Sun Sep 16 14:52:32 2007 +0200
     1.3 @@ -13,6 +13,8 @@
     1.4  - Session.finish ();
     1.5  *)
     1.6  
     1.7 +val ml_system_fix_ints = false;
     1.8 +
     1.9  use "ML-Systems/exn.ML";
    1.10  use "ML-Systems/multithreading_dummy.ML";
    1.11