diff --git a/vpi/vcd_priv2.cc b/vpi/vcd_priv2.cc index f812cec78..80e122b0d 100644 --- a/vpi/vcd_priv2.cc +++ b/vpi/vcd_priv2.cc @@ -224,7 +224,7 @@ extern "C" void vcd_work_sync(void) if (work_queue_fill > 0) { std::unique_lock lock(work_queue_mutex); - work_queue_is_empty_sig.wait(lock, []{ return !(work_queue_fill > 0); }); + work_queue_is_empty_sig.wait(lock, []{ return work_queue_fill == 0; }); } }