diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-06 10:15:47 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-06 10:15:47 +0200 |
| commit | 652345c9cd41a6a93925477e44a6d7925b0d7584 (patch) | |
| tree | b546123251d39df2ffd115fb0b8a08e57e7cf538 /frontends/verific | |
| parent | 01ef34c147dd3e3e3d13864f9c726727a4013207 (diff) | |
| parent | 79cbf9067c07ed810b3466174278d77b9a05b46d (diff) | |
| download | yosys-652345c9cd41a6a93925477e44a6d7925b0d7584.tar.gz yosys-652345c9cd41a6a93925477e44a6d7925b0d7584.tar.bz2 yosys-652345c9cd41a6a93925477e44a6d7925b0d7584.zip | |
Merge pull request #38 from rubund/master
Corrected spelling mistakes found by lintian
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/build_amd64.txt | 2 | ||||
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt index 2c3ba7b4d..94615d38d 100644 --- a/frontends/verific/build_amd64.txt +++ b/frontends/verific/build_amd64.txt @@ -17,7 +17,7 @@ VERIFIC_DIR = /usr/local/src/verific_lib_eval --snap-- -2.) Install the neccessary multilib packages +2.) Install the necessary multilib packages Hint: On debian/ubuntu the multilib packages have names such as libreadline-dev:amd64 or lib32readline6-dev, depending on the 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) { |