| changeset 38799 | 712cb964d113 |
| parent 38272 | dc53026c6350 |
| child 38876 | ec7045139e70 |
--- a/src/Pure/System/isar.ML Fri Aug 27 14:07:09 2010 +0200 +++ b/src/Pure/System/isar.ML Fri Aug 27 14:14:08 2010 +0200 @@ -134,7 +134,6 @@ fun toplevel_loop in_stream {init = do_init, welcome, sync, secure} = (Context.set_thread_data NONE; - Secure.Isar_setup (); if do_init then init () else (); if welcome then writeln (Session.welcome ()) else (); uninterruptible (fn _ => fn () => raw_loop secure (Outer_Syntax.isar in_stream sync)) ());