From 5f4f8b125b988682ae39836f679862ea0a2479ce Mon Sep 17 00:00:00 2001
From: YilouWang <wangyilou123@gmail.com>
Date: Tue, 11 Mar 2025 17:11:29 +0100
Subject: [PATCH] modify the condition

---
 include/verilated.cpp | 1 +
 src/V3Randomize.cpp   | 4 +---
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/include/verilated.cpp b/include/verilated.cpp
index 5aad091cb..12d2f1fb8 100644
--- a/include/verilated.cpp
+++ b/include/verilated.cpp
@@ -63,6 +63,7 @@
 #include <utility>
 
 #include <sys/stat.h>  // mkdir
+
 // clang-format off
 #if defined(_WIN32) || defined(__MINGW32__)
 # include <direct.h>  // mkdir
diff --git a/src/V3Randomize.cpp b/src/V3Randomize.cpp
index c2cfba0b0..4a4bde2df 100644
--- a/src/V3Randomize.cpp
+++ b/src/V3Randomize.cpp
@@ -710,9 +710,7 @@ class ConstraintExprVisitor final : public VNVisitor {
         if (editFormat(nodep)) return;
         FileLine* const fl = nodep->fileline();
         if (VN_IS(nodep->bitp(), VarRef)
-            && VN_AS(nodep->bitp(), VarRef)->varp()->dtypep()->basicp()
-            && VN_AS(nodep->bitp(), VarRef)->dtypep()->basicp()->keyword()
-                   == VBasicDTypeKwd::STRING) {
+            && VN_AS(nodep->bitp(), VarRef)->isString()) {
             VNRelinker handle;
             AstNodeExpr* const idxp
                 = new AstSFormatF{fl, "#x%32p", false, nodep->bitp()->unlinkFrBack(&handle)};