--- a/src/Pure/Isar/session.ML Thu Apr 10 13:24:15 2008 +0200
+++ b/src/Pure/Isar/session.ML Thu Apr 10 13:24:17 2008 +0200
@@ -71,7 +71,6 @@
(Output.accumulated_time ();
ThyInfo.finish ();
Present.finish ();
- Toplevel.init_state ();
session_finished := true);