3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
This commit is contained in:
Eddie Hung 2019-11-19 13:25:38 -08:00
parent 84711f0e8c
commit e2819ce31c

View file

@ -2397,7 +2397,7 @@ struct VerificPass : public Pass {
else else
{ {
if (argidx == GetSize(args)) 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; Array veri_modules, vhdl_units;
for (; argidx < GetSize(args); argidx++) for (; argidx < GetSize(args); argidx++)