diff --git a/src/util/debug.hpp b/src/util/debug.hpp index 656544397381ebd5fef0451013d502b99bf04a4d..612b433148114a4a4696f9d0492169a26d52d988 100644 --- a/src/util/debug.hpp +++ b/src/util/debug.hpp @@ -40,7 +40,7 @@ void debug_emit_trace(const char* file, int line, const char* varlist, const Arg debug_emit(out, args...); #ifdef WITH_TBB - std::lock_guard<std::mutex> _(global_debug_cerr_mutex); + std::lock_guard<std::mutex> guard(global_debug_cerr_mutex); std::cerr << out.rdbuf(); #else out.flush();