1.1 --- a/src/Pure/ML-Systems/alice.ML	Fri Mar 28 22:39:45 2008 +0100
     1.2 +++ b/src/Pure/ML-Systems/alice.ML	Fri Mar 28 22:39:47 2008 +0100
     1.3 @@ -19,6 +19,8 @@
     1.4  
     1.5  val ml_system_fix_ints = false;
     1.6  
     1.7 +fun forget_structure _ = ();
     1.8 +
     1.9  fun exit 0 = (OS.Process.exit OS.Process.success): unit
    1.10    | exit _ = OS.Process.exit OS.Process.failure;
    1.11