about summary refs log tree commit diff stats
path: root/011load.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-10-29 12:15:03 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-10-29 12:15:03 -0700
commit4f10b93a6a910a2457ce5f2aa76ba13047136cca (patch)
tree7139461275398bd907bfa2788138f0ba95b7f839 /011load.cc
parentcdd6fd09673faa6ed72d1b7f52333c12100df049 (diff)
downloadmu-4f10b93a6a910a2457ce5f2aa76ba13047136cca.tar.gz
2314 - final tweaks to trace
I checked these commands:

  $ mu x.mu
  $ grep "===" .traces/interactive
  $ grep "===\|---" .traces/interactive
Diffstat (limited to '011load.cc')
-rw-r--r--011load.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/011load.cc b/011load.cc
index db97f3b0..93d30c22 100644
--- a/011load.cc
+++ b/011load.cc
@@ -47,7 +47,7 @@ long long int slurp_recipe(istream& in) {
   if (Recipe_ordinal.find(recipe_name) == Recipe_ordinal.end()) {
     Recipe_ordinal[recipe_name] = Next_recipe_ordinal++;
   }
-  trace(9991, "load") << "--- defining " << recipe_name << end();
+  trace(9991, "parse") << "--- defining " << recipe_name << end();
   if (Recipe.find(Recipe_ordinal[recipe_name]) != Recipe.end()) {
     trace(9991, "parse") << "already exists" << end();
     if (warn_on_redefine(recipe_name))