summaryrefslogtreecommitdiff
path: root/passes/equiv/equiv_miter.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-01-31 12:08:20 +0100
committerClifford Wolf <clifford@clifford.at>2015-01-31 12:08:20 +0100
commitf80f5b721da8188f2b00cc238075ef4e52a03d35 (patch)
treee9e39aa70f272ae05f92b8ec5a44b674e6de607c /passes/equiv/equiv_miter.cc
parentcb9d0a414dc899c3821af0e8f6231f887540c7a2 (diff)
Added "equiv_make -blacklist <file> -encfile <file>"
Diffstat (limited to 'passes/equiv/equiv_miter.cc')
-rw-r--r--passes/equiv/equiv_miter.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/equiv/equiv_miter.cc b/passes/equiv/equiv_miter.cc
index 305bc09c..23b34818 100644
--- a/passes/equiv/equiv_miter.cc
+++ b/passes/equiv/equiv_miter.cc
@@ -313,7 +313,7 @@ struct EquivMiterPass : public Pass {
break;
}
- if (argidx+1 >= args.size())
+ if (argidx >= args.size())
log_cmd_error("Invalid number of arguments.\n");
worker.miter_name = RTLIL::escape_id(args[argidx++]);