src/Pure/ProofGeneral/preferences.ML

--- a/src/Pure/ProofGeneral/preferences.ML	Tue Dec 05 01:17:32 2006 +0100
+++ b/src/Pure/ProofGeneral/preferences.ML	Tue Dec 05 13:56:43 2006 +0100
@@ -77,7 +77,8 @@
 	fun setn n = (print_depth n; pg_print_depth_val := n)
 	val set = setn o PgipTypes.read_pgipnat
     in
-	mkpref get set PgipTypes.Pgipbool "print-depth" "Setting for the ML print depth"
+	mkpref get set PgipTypes.Pgipnat
+	       "print-depth" "Setting for the ML print depth"
     end