src/Pure/Isar/attrib.ML
changeset 44069 d7c7ec248ef0
parent 44053 3cc902f81a26
child 45375 7fe19930dfc9
     1.1 --- a/src/Pure/Isar/attrib.ML	Mon Aug 08 11:47:41 2011 -0700
     1.2 +++ b/src/Pure/Isar/attrib.ML	Sat Aug 06 15:48:08 2011 +0200
     1.3 @@ -444,6 +444,7 @@
     1.4    register_config Printer.show_structs_raw #>
     1.5    register_config Printer.show_question_marks_raw #>
     1.6    register_config Syntax.ambiguity_level_raw #>
     1.7 +  register_config Syntax.ambiguity_warnings_raw #>
     1.8    register_config Syntax_Trans.eta_contract_raw #>
     1.9    register_config Name_Space.names_long_raw #>
    1.10    register_config Name_Space.names_short_raw #>