src/Pure/ProofGeneral/preferences.ML
changeset 24614 a4b2eb0dd673
parent 24454 692dac1e7381
child 24806 c070cd2a1450
--- a/src/Pure/ProofGeneral/preferences.ML	Mon Sep 17 16:36:43 2007 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Mon Sep 17 16:36:45 2007 +0200
@@ -67,10 +67,11 @@
 val thm_deps_pref =
     let
         fun get () = PgipTypes.bool_to_pgstring (print_mode_active thm_depsN)
-        fun set s = if PgipTypes.read_pgipbool s then
-                        change print_mode (insert (op =) thm_depsN)
-                    else
-                        change print_mode (remove (op =) thm_depsN)
+        fun set s =  NAMED_CRITICAL "print_mode" (fn () =>
+          if PgipTypes.read_pgipbool s then
+            change print_mode (insert (op =) thm_depsN)
+          else
+            change print_mode (remove (op =) thm_depsN))
     in
         mkpref get set PgipTypes.Pgipbool "theorem-dependencies"
                "Track theorem dependencies within Proof General"