--- a/src/Pure/Isar/attrib.ML Fri Apr 08 11:39:45 2011 +0200
+++ b/src/Pure/Isar/attrib.ML Fri Apr 08 13:31:16 2011 +0200
@@ -407,7 +407,7 @@
register_config Syntax.show_structs_raw #>
register_config Syntax.show_question_marks_raw #>
register_config Syntax.ambiguity_level_raw #>
- register_config Syntax.eta_contract_raw #>
+ register_config Syntax_Trans.eta_contract_raw #>
register_config ML_Context.trace_raw #>
register_config ProofContext.show_abbrevs_raw #>
register_config Goal_Display.goals_limit_raw #>