diff --git a/include/verilated.cpp b/include/verilated.cpp index 396b0cd5b..cd301f38b 100644 --- a/include/verilated.cpp +++ b/include/verilated.cpp @@ -294,7 +294,7 @@ vluint64_t vl_rand64() VL_MT_SAFE { if (VL_UNLIKELY(!t_seeded)) { t_seeded = true; { - const VerilatedLockGuard lock(s_mutex); + const VerilatedLockGuard lock(s_mutex); // Otherwise vl_sys_rand32 is unsafe if (Verilated::randSeed() != 0) { t_state[0] = ((static_cast(Verilated::randSeed()) << 32) ^ (static_cast(Verilated::randSeed())));