diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-06 11:46:44 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-06 11:46:44 +0200 |
| commit | 34af6a130370671439da19ef55c2c45a35fd3ad0 (patch) | |
| tree | a822cd8d8cd5aa7f732dcb71fa20e391872e885a /frontends/verific/verific.cc | |
| parent | e1743b3bac8c86f3cf857892dabf66bec5573a7a (diff) | |
| parent | 652345c9cd41a6a93925477e44a6d7925b0d7584 (diff) | |
| download | yosys-34af6a130370671439da19ef55c2c45a35fd3ad0.tar.gz yosys-34af6a130370671439da19ef55c2c45a35fd3ad0.tar.bz2 yosys-34af6a130370671439da19ef55c2c45a35fd3ad0.zip | |
Merge branch 'master' of github.com:cliffordwolf/yosys
Diffstat (limited to 'frontends/verific/verific.cc')
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 0440f88e5..d0f148386 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -887,7 +887,7 @@ struct VerificPass : public Pass { } if (argidx > args.size() && args[argidx].substr(0, 1) == "-") - cmd_error(args, argidx, "unkown option"); + cmd_error(args, argidx, "unknown option"); if (mode_all) { |