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