diff options
Diffstat (limited to '029tools.cc')
| -rw-r--r-- | 029tools.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/029tools.cc b/029tools.cc index 587818ea..de4b488c 100644 --- a/029tools.cc +++ b/029tools.cc @@ -22,7 +22,7 @@ case TRACE: { else if (SIZE(ingredients) == 1) { assert(is_literal(current_instruction().ingredients.at(0))); string message = current_instruction().ingredients.at(0).name; - cerr << "tracing " << message << '\n'; +//? cerr << "tracing " << message << '\n'; //? 1 trace(1, "app") << message << end(); } else { |