src/Pure/Isar/outer_syntax.ML
changeset 21957 4e44e74dc7e7
parent 21858 05f57309170c
child 21967 dcb32fe97503
--- a/src/Pure/Isar/outer_syntax.ML	Sat Dec 30 12:33:26 2006 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Sat Dec 30 12:33:27 2006 +0100
@@ -318,7 +318,7 @@
   ml_prompts "ML> " "ML# ");
 
 fun gen_main term no_pos =
- (Toplevel.set_state Toplevel.toplevel;
+ (Toplevel.init_state ();
   writeln (Session.welcome ());
   gen_loop term no_pos);