src/Pure/Syntax/ast.ML

--- a/src/Pure/Syntax/ast.ML	Sun Apr 06 15:51:02 2014 +0200
+++ b/src/Pure/Syntax/ast.ML	Sun Apr 06 16:36:28 2014 +0200
@@ -164,10 +164,10 @@
 
 (* normalize *)
 
-val trace_raw = Config.declare "syntax_ast_trace" (fn _ => Config.Bool false);
+val trace_raw = Config.declare ("syntax_ast_trace", @{here}) (fn _ => Config.Bool false);
 val trace = Config.bool trace_raw;
 
-val stats_raw = Config.declare "syntax_ast_stats" (fn _ => Config.Bool false);
+val stats_raw = Config.declare ("syntax_ast_stats", @{here}) (fn _ => Config.Bool false);
 val stats = Config.bool stats_raw;
 
 fun message head body =