From 4cd34bde5bb1a62b1c6c35326352cf1e6d77843d Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 23 Jun 2023 22:44:49 +0100
Subject: Fixed a couple of spelling issues in the help menu

---
 lib/Core/Executor.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/Core')

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));
 
-- 
cgit 1.4.1