src/Pure/Isar/attrib.ML
changeset 46506 c7faa011bfa7
parent 46126 bab00660539d
child 46512 4f9f61f9b535
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Feb 16 17:09:15 2012 +0100
     1.2 +++ b/src/Pure/Isar/attrib.ML	Thu Feb 16 22:18:28 2012 +0100
     1.3 @@ -503,8 +503,8 @@
     1.4    register_config Printer.show_types_raw #>
     1.5    register_config Printer.show_structs_raw #>
     1.6    register_config Printer.show_question_marks_raw #>
     1.7 -  register_config Syntax.ambiguity_level_raw #>
     1.8 -  register_config Syntax.ambiguity_warnings_raw #>
     1.9 +  register_config Syntax.ambiguity_raw #>
    1.10 +  register_config Syntax.ambiguity_limit_raw #>
    1.11    register_config Syntax_Trans.eta_contract_raw #>
    1.12    register_config Name_Space.names_long_raw #>
    1.13    register_config Name_Space.names_short_raw #>