--- a/src/Pure/Isar/isar_cmd.ML Mon Jun 27 17:51:28 2011 +0200
+++ b/src/Pure/Isar/isar_cmd.ML Mon Jun 27 22:20:49 2011 +0200
@@ -384,7 +384,8 @@
val print_methods = Toplevel.unknown_theory o
Toplevel.keep (Method.print_methods o Toplevel.theory_of);
-val print_antiquotations = Toplevel.imperative Thy_Output.print_antiquotations;
+val print_antiquotations =
+ Toplevel.keep (Thy_Output.print_antiquotations o Toplevel.context_of);
val thy_deps = Toplevel.unknown_theory o Toplevel.keep (fn state =>
let