From 82b2af3b833bb044b21556d5f882b3c240025deb Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Tue, 17 Nov 2020 22:48:37 -0500
Subject: [PATCH] Commentary

---
 include/verilated.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<vluint64_t>(Verilated::randSeed()) << 32)
                               ^ (static_cast<vluint64_t>(Verilated::randSeed())));