From fcd073ab518a31ce8cb01c5e514905ca1e1c21e2 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Tue, 2 Jul 2024 15:13:58 -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 d13f65e27..2c22398da 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2935,7 +2935,7 @@ void verific_cleanup()
 	verific_import_pending = false;
 }
 
-std::string verific_import(Design *design, const std::map<std::string,std::string> &parameters, std::string top, bool opt = true)
+std::string verific_import(Design *design, const std::map<std::string,std::string> &parameters, std::string top, bool opt)
 {
 	verific_sva_fsm_limit = 16;