From 77600162b089374eb99179dbb9638ce4b1b45c70 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Mon, 4 Mar 2019 16:52:59 +0000
Subject: Renamed "Starting options" to "Startup options" and added a missing
 space in a help message.

---
 tools/klee/main.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index ae71518d..033ff5b1 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -118,9 +118,9 @@ namespace {
                 cl::cat(TestCaseCat));
 
 
-  /*** Starting options ***/
+  /*** Startup options ***/
 
-  cl::OptionCategory StartCat("Starting options",
+  cl::OptionCategory StartCat("Startup options",
                               "These options affect how execution is started.");
 
   cl::opt<std::string>
-- 
cgit 1.4.1