src/Pure/Isar/attrib.ML
changeset 42284 326f57825e1a
parent 42277 7503beeffd8d
child 42289 dafae095d733
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Apr 08 11:39:45 2011 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Apr 08 13:31:16 2011 +0200
     1.3 @@ -407,7 +407,7 @@
     1.4    register_config Syntax.show_structs_raw #>
     1.5    register_config Syntax.show_question_marks_raw #>
     1.6    register_config Syntax.ambiguity_level_raw #>
     1.7 -  register_config Syntax.eta_contract_raw #>
     1.8 +  register_config Syntax_Trans.eta_contract_raw #>
     1.9    register_config ML_Context.trace_raw #>
    1.10    register_config ProofContext.show_abbrevs_raw #>
    1.11    register_config Goal_Display.goals_limit_raw #>