From 6e46a567202180c2104bd80ea4841a235594578a Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Wed, 21 Aug 2024 16:55:44 -0700
Subject: [PATCH] Fix Verific warning

---
 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 2f422c95d..c5197fc45 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3688,7 +3688,7 @@ struct VerificPass : public Pass {
 			unsigned i;
 			MapIter mi;
     	const char *file_name, *dir_name, *key, *value;
-			for (argidx; argidx < GetSize(args); argidx++) {
+			for (; argidx < GetSize(args); argidx++) {
 				if (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF") {
 					veri_file::f_file_flags flags = (args[argidx] == "-f") ? veri_file::F_FILE_NONE : ((args[argidx] == "-F") ? veri_file::F_FILE_CAPITAL : veri_file::F_FILE_CAPITAL_NESTED);
 					veri_file::Analyze("preqorsor/data/blackboxes.v");