src/Pure/Isar/attrib.ML
changeset 43347 f18cf88453d6
parent 42813 6c841fa92fa2
child 44046 a43ca8ed6564
     1.1 --- a/src/Pure/Isar/attrib.ML	Fri Jun 10 11:39:23 2011 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Fri Jun 10 11:47:52 2011 +0200
     1.3 @@ -420,7 +420,7 @@
     1.4  
     1.5  val _ = Context.>> (Context.map_theory
     1.6   (register_config Ast.trace_raw #>
     1.7 -  register_config Ast.stat_raw #>
     1.8 +  register_config Ast.stats_raw #>
     1.9    register_config Syntax.positions_raw #>
    1.10    register_config Printer.show_brackets_raw #>
    1.11    register_config Printer.show_sorts_raw #>