diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 2c22398da..88dd87492 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3682,13 +3682,6 @@ struct VerificPass : public Pass {
 				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);
 					Array *file_names = veri_file::ProcessFFile(args[++argidx].c_str(), flags, verilog_mode);
-					if (args[++argidx] == "-ignore_translate_off") {
-						// Ignore translate_off statements
-						log("AUTO-DISCOVER: ignoring translate_off directives\n");
-						hdl_file_sort::SetIgnoreTranslateOff(1);
-						veri_file::SetIgnoreTranslateOff(1);
-						argidx++;
-					}
 					veri_file::AddVFile("preqorsor/data/blackboxes.v");
 					FOREACH_ARRAY_ITEM(veri_file::IncludeDirs(), i, dir_name) {
 						if (!hdl_file_sort::RegisterDir(dir_name)) {
@@ -3742,6 +3735,11 @@ struct VerificPass : public Pass {
 						log("AUTO-DISCOVER: registered file %s from .f file processing\n", file_name);
 					}
 					delete file_names;
+				} else if (args[argidx] == "-ignore_translate_off") {
+					// Ignore translate_off statements
+					log("AUTO-DISCOVER: ignoring translate_off directives\n");
+					hdl_file_sort::SetIgnoreTranslateOff(1);
+					veri_file::SetIgnoreTranslateOff(1);
 				} else {
 					veri_file::AddIncludeDir(args[argidx].c_str());
 					if (!hdl_file_sort::RegisterDir(args[argidx].c_str())) {