src/Pure/Isar/attrib.ML
changeset 42277 7503beeffd8d
parent 42224 578a51fae383
child 42284 326f57825e1a
     1.1 --- a/src/Pure/Isar/attrib.ML	Thu Apr 07 18:41:49 2011 +0200
     1.2 +++ b/src/Pure/Isar/attrib.ML	Thu Apr 07 20:32:42 2011 +0200
     1.3 @@ -398,8 +398,8 @@
     1.4  (* theory setup *)
     1.5  
     1.6  val _ = Context.>> (Context.map_theory
     1.7 - (register_config Ast.ast_trace_raw #>
     1.8 -  register_config Ast.ast_stat_raw #>
     1.9 + (register_config Ast.trace_raw #>
    1.10 +  register_config Ast.stat_raw #>
    1.11    register_config Syntax.positions_raw #>
    1.12    register_config Syntax.show_brackets_raw #>
    1.13    register_config Syntax.show_sorts_raw #>