diff -r 098c86e53153 -r 578a51fae383 src/Pure/Isar/attrib.ML
--- 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 #>