From 94307f89701972742d28d43ca54b9f8e082e8651 Mon Sep 17 00:00:00 2001
From: Kamil Danecki <kdanecki@internships.antmicro.com>
Date: Thu, 12 Feb 2026 16:14:18 +0100
Subject: [PATCH] Use unsigned div when base is unsigned

Signed-off-by: Kamil Danecki <kdanecki@internships.antmicro.com>
---
 src/V3Randomize.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/V3Randomize.cpp b/src/V3Randomize.cpp
index c021adaa4..50b2ee407 100644
--- a/src/V3Randomize.cpp
+++ b/src/V3Randomize.cpp
@@ -1407,7 +1407,7 @@ class ConstraintExprVisitor final : public VNVisitor {
                 if (VL_LIKELY(exponent > 0)) {
                     productp = new AstMul{fl, productp, basep->cloneTreePure(false)};
                 } else {
-                    productp = new AstDivS{fl, productp, basep->cloneTreePure(false)};
+                    productp = new AstDiv{fl, productp, basep->cloneTreePure(false)};
                 }
                 productp->user1(true);
             }