Oops

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index e887020879fc0fa609d6bf5c5d45257e2825d676..79730c98a6794841b399751f5b3b6557898347e3 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2397,7 +2397,7 @@ struct VerificPass : public Pass {
                        else
                        {
                                if (argidx == GetSize(args))
-                                       cmd_error(arg, argidx, "No top module specified.\n");
+                                       cmd_error(args, argidx, "No top module specified.\n");
 
                                Array veri_modules, vhdl_units;
                                for (; argidx < GetSize(args); argidx++)