| changeset 26474 | 94735cff132c |
| parent 26385 | ae7564661e76 |
| child 26504 | 6e87c0a60104 |
--- a/src/Pure/ML-Systems/alice.ML Fri Mar 28 22:39:45 2008 +0100 +++ b/src/Pure/ML-Systems/alice.ML Fri Mar 28 22:39:47 2008 +0100 @@ -19,6 +19,8 @@ val ml_system_fix_ints = false; +fun forget_structure _ = (); + fun exit 0 = (OS.Process.exit OS.Process.success): unit | exit _ = OS.Process.exit OS.Process.failure;