src/Pure/System/isar.ML
changeset 32739 31e75ad9ae17
parent 32738 15bb09ca0378
child 32786 f1ac4b515af9
     1.1 --- a/src/Pure/System/isar.ML	Tue Sep 29 11:49:22 2009 +0200
     1.2 +++ b/src/Pure/System/isar.ML	Tue Sep 29 14:59:24 2009 +0200
     1.3 @@ -139,6 +139,7 @@
     1.4  
     1.5  fun toplevel_loop {init = do_init, welcome, sync, secure} =
     1.6   (Context.set_thread_data NONE;
     1.7 +  Secure.open_unsynchronized ();
     1.8    if do_init then init () else ();
     1.9    if welcome then writeln (Session.welcome ()) else ();
    1.10    uninterruptible (fn _ => fn () => raw_loop secure (OuterSyntax.isar sync)) ());