From d52cad1ae2bf5a1c56ee4f2a9cc5f3e411f3d1a4 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 23 Feb 2026 12:40:48 +0100
Subject: [PATCH] Remove not needed initialization

---
 frontends/verific/verific.cc | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index c3d95111d..8023ccdb4 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -4495,10 +4495,6 @@ struct VerificPass : public Pass {
 
 		if (argidx < GetSize(args) && args[argidx] == "-set-reset")
 		{
-			if (!yosys_verific_settings_initialized) {
-				yosys_verific_settings.init();
-				yosys_verific_settings_initialized = true;
-			}
 			yosys_verific_settings.reset();
 			yosys_verific_settings.apply_all();
 			log("All Yosys-Verific settings reset to defaults.\n");
@@ -4507,11 +4503,6 @@ struct VerificPass : public Pass {
 
 		if (argidx < GetSize(args) && args[argidx] == "-set")
 		{
-			if (!yosys_verific_settings_initialized) {
-				yosys_verific_settings.init();
-				yosys_verific_settings_initialized = true;
-			}
-
 			// No arguments: list all settings
 			if (argidx+1 == GetSize(args)) {
 				log("Yosys-Verific settings:\n");