diff --git a/emper/Debug.cpp b/emper/Debug.cpp index 577a4077d4908b69503281ee0f58fbcb3b368952..c551cf0f4ea6e46ab58fb2976e14e68396c019e2 100644 --- a/emper/Debug.cpp +++ b/emper/Debug.cpp @@ -15,7 +15,7 @@ void worker_log(const std::string& prefix, const std::string& message) { const workerid_t workerId = Runtime::getWorkerId(); std::unique_lock<std::mutex> lock(worker_log_mutex); - std::cerr << (unsigned int)workerId; + std::cerr << workerId; if (!prefix.empty()) { std::cerr << " " << prefix << " "; } else {