diff -r 387dc978422b -r 2f970c7f722b src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Fri May 17 20:30:04 2013 +0200
+++ b/src/Pure/Isar/attrib.ML	Fri May 17 20:41:45 2013 +0200
@@ -553,7 +553,8 @@
 (* theory setup *)
 
 val _ = Context.>> (Context.map_theory
- (register_config Ast.trace_raw #>
+ (register_config quick_and_dirty_raw #>
+  register_config Ast.trace_raw #>
   register_config Ast.stats_raw #>
   register_config Printer.show_brackets_raw #>
   register_config Printer.show_sorts_raw #>