diff -r c04295685936 -r d05f3d86a758 src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Fri Oct 30 16:31:37 2015 +0100
+++ b/src/Pure/Isar/attrib.ML	Fri Oct 30 17:14:30 2015 +0100
@@ -510,7 +510,7 @@
 (* theory setup *)
 
 val _ = Theory.setup
- (register_config quick_and_dirty_raw #>
+ (register_config Goal.quick_and_dirty_raw #>
   register_config Ast.trace_raw #>
   register_config Ast.stats_raw #>
   register_config Printer.show_brackets_raw #>