diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 45dccb78c..4cc5afbcf 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2999,7 +2999,8 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 			nl->OperatorOptimization(1, 1);
 			
 			log("    Performing resource sharing for %s.\n", it->first.c_str());
-			nl->ResourceSharing();
+			result = nl->ResourceSharing();
+			log("      Shared %d resources.\n", result);
 			log("    Performing final resource merging for %s.\n", it->first.c_str());
 			nl->OptimizeSameInputSubstractorComparator();