From 0505816d311a295da273318866c2332de159af3f Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Tue, 3 Nov 2020 08:52:47 -0500
Subject: [PATCH] Fix C++14 deprecated random_shuffle.

---
 include/verilated_heavy.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/verilated_heavy.h b/include/verilated_heavy.h
index 161481767..0e58fe4cb 100644
--- a/include/verilated_heavy.h
+++ b/include/verilated_heavy.h
@@ -49,8 +49,8 @@ extern std::string VL_TO_STRING_W(int words, WDataInP obj);
 class VlURNG {
 public:
     typedef size_t result_type;
-    static size_t min() { return 0; }
-    static size_t max() { return 1ULL << 31; }
+    static constexpr size_t min() { return 0; }
+    static constexpr size_t max() { return 1ULL << 31; }
     size_t operator()() { return VL_MASK_I(31) & VL_RANDOM_I(32); }
 };