diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 12:15:03 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-10-29 12:15:03 -0700 |
commit | 4f10b93a6a910a2457ce5f2aa76ba13047136cca (patch) | |
tree | 7139461275398bd907bfa2788138f0ba95b7f839 /011load.cc | |
parent | cdd6fd09673faa6ed72d1b7f52333c12100df049 (diff) | |
download | mu-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.cc | 2 |
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)) |