From 4cf9bb86ca938b79967af357739db78c842d3a65 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Thu, 19 Sep 2024 01:04:29 -0700
Subject: [PATCH] Smallfix

---
 frontends/verific/verific.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 0ddd1b951..790a0a5e5 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3006,7 +3006,7 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 			nl->MergeRams();
 
 			log("    Performing resource sharing for %s.\n", it->first.c_str());
-			result = nl->ResourceSharing();
+			unsigned int result = nl->ResourceSharing();
 			log("      Shared %d resources.\n", result);
 			log("    Performing final resource merging for %s.\n", it->first.c_str());
 			nl->OptimizeSameInputSubstractorComparator();