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);