about summary refs log tree commit diff homepage
path: root/lib/Basic
diff options
context:
space:
mode:
authorMarko Dimjašević <marko@cs.utah.edu>2016-02-08 21:44:51 -0700
committerMarko Dimjašević <marko@cs.utah.edu>2016-02-08 21:44:51 -0700
commit174fd830b3cb6988ee419850427713e2957af813 (patch)
treec53a855cc8ed73656e68a44e8e261f55294830b6 /lib/Basic
parent2a0eca57580e50812b17d8b39ad5c3266511fecc (diff)
downloadklee-174fd830b3cb6988ee419850427713e2957af813.tar.gz
Fixed two spelling errors.
Diffstat (limited to 'lib/Basic')
-rw-r--r--lib/Basic/CmdLineOptions.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp
index 2f97b200..b7502023 100644
--- a/lib/Basic/CmdLineOptions.cpp
+++ b/lib/Basic/CmdLineOptions.cpp
@@ -62,7 +62,7 @@ CoreSolverOptimizeDivides("solver-optimize-divides",
  */
 llvm::cl::list<QueryLoggingSolverType> queryLoggingOptions(
     "use-query-log",
-    llvm::cl::desc("Log queries to a file. Multiple options can be specified seperate by a comma. By default nothing is logged."),
+    llvm::cl::desc("Log queries to a file. Multiple options can be specified separated by a comma. By default nothing is logged."),
     llvm::cl::values(
         clEnumValN(ALL_PC,"all:pc","All queries in .pc (KQuery) format"),
         clEnumValN(ALL_SMTLIB,"all:smt2","All queries in .smt2 (SMT-LIBv2) format"),