From f3d24aea76455d7358196546a132b97fe863479b Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 8 May 2025 22:24:10 -0700
Subject: [PATCH] Add spaces in verific

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

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 85336f8b9..63b593e1c 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3763,10 +3763,12 @@ struct VerificPass : public Pass {
 			verific_opt = true;
 			goto check_error;
 		}
+
 		if (GetSize(args) > argidx && args[argidx] == "-no_split_complex_ports") {
 			verific_no_split_complex_ports = true;
 			goto check_error;
 		}
+
 		if (GetSize(args) > argidx && args[argidx] == "-set_ignore_translate_off") {
 			veri_file::SetIgnoreTranslateOff(1);
 			goto check_error;