| changeset 42224 | 578a51fae383 |
| parent 42056 | 160a630b2c7e |
| child 42277 | 7503beeffd8d |
--- a/src/Pure/Isar/attrib.ML Tue Apr 05 13:07:40 2011 +0200 +++ b/src/Pure/Isar/attrib.ML Tue Apr 05 14:25:18 2011 +0200 @@ -398,8 +398,8 @@ (* theory setup *) val _ = Context.>> (Context.map_theory - (register_config Syntax.ast_trace_raw #> - register_config Syntax.ast_stat_raw #> + (register_config Ast.ast_trace_raw #> + register_config Ast.ast_stat_raw #> register_config Syntax.positions_raw #> register_config Syntax.show_brackets_raw #> register_config Syntax.show_sorts_raw #>