diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 283dafa27..9580e6fc0 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3697,7 +3697,7 @@ struct VerificPass : public Pass {
 #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT
 		if (GetSize(args) > argidx && args[argidx] == "-no_split_complex_ports") {
 			verific_no_split_complex_ports = true;
-			goto check_error;
+			continue;
 		}
 		if (GetSize(args) > argidx && (args[argidx] == "-f" || args[argidx] == "-F"))
 		{