diff -r 78943ac46f6d -r 7463251e7273 src/Pure/ProofGeneral/preferences.ML
--- a/src/Pure/ProofGeneral/preferences.ML	Mon Oct 29 10:37:09 2007 +0100
+++ b/src/Pure/ProofGeneral/preferences.ML	Mon Oct 29 16:13:41 2007 +0100
@@ -57,8 +57,8 @@
 
 val proof_pref =
     let
-        fun get () = PgipTypes.bool_to_pgstring (! proofs >= 2)
-        fun set s = proofs := (if PgipTypes.read_pgipbool s then 2 else 1)
+        fun get () = PgipTypes.bool_to_pgstring (! Proofterm.proofs >= 2)
+        fun set s = Proofterm.proofs := (if PgipTypes.read_pgipbool s then 2 else 1)
     in
         mkpref get set PgipTypes.Pgipbool "full-proofs"
                "Record full proof objects internally"