src/Pure/ProofGeneral/preferences.ML

--- a/src/Pure/ProofGeneral/preferences.ML	Sat Apr 16 12:46:18 2011 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Sat Apr 16 13:48:45 2011 +0200
@@ -124,7 +124,7 @@
   bool_pref Goal_Display.show_consts_default
     "show-consts"
     "Show types of consts in Isabelle goal display",
-  bool_pref long_names
+  bool_pref Name_Space.long_names_default
     "long-names"
     "Show fully qualified names in Isabelle terms",
   bool_pref Printer.show_brackets_default