summaryrefslogtreecommitdiff
path: root/frontends/verific
diff options
context:
space:
mode:
authorRuben Undheim <ruben.undheim@gmail.com>2014-09-06 08:47:06 +0200
committerRuben Undheim <ruben.undheim@gmail.com>2014-09-06 08:47:06 +0200
commit79cbf9067c07ed810b3466174278d77b9a05b46d (patch)
treeb546123251d39df2ffd115fb0b8a08e57e7cf538 /frontends/verific
parent01ef34c147dd3e3e3d13864f9c726727a4013207 (diff)
Corrected spelling mistakes found by lintian
Diffstat (limited to 'frontends/verific')
-rw-r--r--frontends/verific/build_amd64.txt2
-rw-r--r--frontends/verific/verific.cc2
2 files changed, 2 insertions, 2 deletions
diff --git a/frontends/verific/build_amd64.txt b/frontends/verific/build_amd64.txt
index 2c3ba7b4..94615d38 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 0440f88e..d0f14838 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)
{