src/Pure/System/isar.ML

--- a/src/Pure/System/isar.ML	Tue Sep 29 11:49:22 2009 +0200
+++ b/src/Pure/System/isar.ML	Tue Sep 29 14:59:24 2009 +0200
@@ -139,6 +139,7 @@
 
 fun toplevel_loop {init = do_init, welcome, sync, secure} =
  (Context.set_thread_data NONE;
+  Secure.open_unsynchronized ();
   if do_init then init () else ();
   if welcome then writeln (Session.welcome ()) else ();
   uninterruptible (fn _ => fn () => raw_loop secure (OuterSyntax.isar sync)) ());