--- a/src/Pure/System/session.ML Mon Aug 06 17:54:05 2012 +0200
+++ b/src/Pure/System/session.ML Mon Aug 06 21:11:42 2012 +0200
@@ -73,6 +73,7 @@
Present.finish ();
Outer_Syntax.check_syntax ();
Future.shutdown ();
+ Options.reset_default ();
session_finished := true);