src/Pure/ProofGeneral/preferences.ML

--- a/src/Pure/ProofGeneral/preferences.ML	Wed Sep 01 23:43:45 2010 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Thu Sep 02 00:48:07 2010 +0200
@@ -141,7 +141,7 @@
     "prems-limit"
     "Setting for maximum number of premises printed",
   print_depth_pref,
-  bool_pref show_question_marks
+  bool_pref show_question_marks_default
     "show-question-marks"
     "Show leading question mark of variable name"];