src/Pure/ProofGeneral/preferences.ML

--- a/src/Pure/ProofGeneral/preferences.ML	Fri Sep 03 22:57:21 2010 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Fri Sep 03 23:54:48 2010 +0200
@@ -129,7 +129,7 @@
   bool_pref Goal_Display.show_main_goal_default
     "show-main-goal"
     "Show main goal in proof state display",
-  bool_pref Syntax.eta_contract
+  bool_pref Syntax.eta_contract_default
     "eta-contract"
     "Print terms eta-contracted"];