--- a/src/Pure/ML-Systems/alice.ML Sun Sep 16 14:52:31 2007 +0200
+++ b/src/Pure/ML-Systems/alice.ML Sun Sep 16 14:52:32 2007 +0200
@@ -13,6 +13,8 @@
- Session.finish ();
*)
+val ml_system_fix_ints = false;
+
use "ML-Systems/exn.ML";
use "ML-Systems/multithreading_dummy.ML";