Fixed a couple of spelling issues in the help menu

1 files changed, 2 insertions, 2 deletions

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index f01b7d99..361a4e2e 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -207,7 +207,7 @@ cl::opt<bool> SuppressExternalWarnings(
 cl::opt<bool> AllExternalWarnings(
     "all-external-warnings",
     cl::init(false),
-    cl::desc("Issue a warning everytime an external call is made, "
+    cl::desc("Issue a warning every time an external call is made, "
              "as opposed to once per function (default=false)"),
     cl::cat(ExtCallsCat));
 
@@ -320,7 +320,7 @@ cl::list<StateTerminationType> ExitOnErrorType(
         clEnumValN(StateTerminationType::NullableAttribute, "NullableAttribute",
                    "Violation of nullable attribute detected"),
         clEnumValN(StateTerminationType::User, "User",
-                   "Wrong klee_* functions invocation")),
+                   "Wrong klee_* function invocation")),
     cl::ZeroOrMore,
     cl::cat(TerminationCat));