diff options
Diffstat (limited to '054static_dispatch.cc')
| -rw-r--r-- | 054static_dispatch.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/054static_dispatch.cc b/054static_dispatch.cc index 0af3ddeb..69dc30bd 100644 --- a/054static_dispatch.cc +++ b/054static_dispatch.cc @@ -41,7 +41,7 @@ if (result.name != "main" && contains_key(Recipe_ordinal, result.name)) { put(Recipe_ordinal, new_name, Next_recipe_ordinal++); get_or_insert(Recipe_variants, result.name).push_back(get(Recipe_ordinal, new_name)); } - trace(9999, "load") << "switching " << result.name << " to " << new_name << end(); + trace("load") << "switching " << result.name << " to " << new_name << end(); result.name = new_name; result.is_autogenerated = true; } |