--- a/src/Pure/System/isar.ML Sun May 12 18:22:44 2013 +0200
+++ b/src/Pure/System/isar.ML Sun May 12 19:56:30 2013 +0200
@@ -155,7 +155,7 @@
fun toplevel_loop in_stream {init = do_init, welcome, sync, secure} =
(Context.set_thread_data NONE;
- if do_init then (Options.load_default (); init ()) else ();
+ if do_init then init () else ();
Output.Private_Hooks.protocol_message_fn := protocol_message;
if welcome then writeln (Session.welcome ()) else ();
uninterruptible (fn _ => fn () => raw_loop secure (Outer_Syntax.isar in_stream sync)) ());