src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 24614 a4b2eb0dd673
parent 24244 d7ee11ba1534
child 24712 64ed05609568
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Sep 17 16:36:43 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Mon Sep 17 16:36:45 2007 +0200
@@ -572,9 +572,10 @@
 
 fun set_proverflag_pgmlsymbols b =
     (pgmlsymbols_flag := b;
-     change print_mode 
+      NAMED_CRITICAL "print_mode" (fn () =>
+        change print_mode 
             (fn mode =>
-                remove (op =) Symbol.xsymbolsN mode @ (if b then [Symbol.xsymbolsN] else [])))
+                remove (op =) Symbol.xsymbolsN mode @ (if b then [Symbol.xsymbolsN] else []))))
 
 fun set_proverflag_thmdeps b =
     (show_theorem_dependencies := b;