src/Pure/ML-Systems/mlworks.ML

   (fn () => MLWorks.Internal.Runtime.Memory.max_stack_blocks :=
     ! MLWorks.Internal.Runtime.Memory.max_stack_blocks + 20);
 
 
 (* Poly/ML emulation *)
-
-(*just for versions of MLWorks that don't provide the Option structure*)
-structure Option = General;
 
 (*To exit the system with an exit code -- an alternative to ^D *)
 fun exit 0 = (OS.Process.exit OS.Process.success): unit
   | exit _ = OS.Process.exit OS.Process.failure;
 fun quit () = exit 0;