diff -r d2008c5f8d99 -r 5454b06320fb src/Pure/ProofGeneral/preferences.ML --- a/src/Pure/ProofGeneral/preferences.ML Wed Apr 04 00:11:18 2007 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Wed Apr 04 00:11:20 2007 +0200 @@ -66,7 +66,7 @@ val thm_deps_pref = let - fun get () = PgipTypes.bool_to_pgstring (Output.has_mode thm_depsN) + 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