diff -r bc889c3d55a3 -r a4b2eb0dd673 src/Pure/ProofGeneral/preferences.ML --- 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"