src/Pure/ProofGeneral/preferences.ML

--- a/src/Pure/ProofGeneral/preferences.ML	Fri Apr 08 11:39:45 2011 +0200
+++ b/src/Pure/ProofGeneral/preferences.ML	Fri Apr 08 13:31:16 2011 +0200
@@ -133,7 +133,7 @@
   bool_pref Goal_Display.show_main_goal_default
     "show-main-goal"
     "Show main goal in proof state display",
-  bool_pref Syntax.eta_contract_default
+  bool_pref Syntax_Trans.eta_contract_default
     "eta-contract"
     "Print terms eta-contracted"];