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