Fixed two spelling errors.

2 files changed, 2 insertions, 2 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"),
diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats
index 30d57e64..6ed772cd 100755
--- a/tools/klee-stats/klee-stats
+++ b/tools/klee-stats/klee-stats
@@ -277,7 +277,7 @@ def main():
                         dest='drawLineChart', metavar='header-list',
                         help='Draw line chart for a list of columns. '
                         'Columns must be chosen from the headers of the '
-                        'table outputted and seperated by comma (e.g., '
+                        'table outputted and separated by comma (e.g., '
                         '--draw-line-chart=Instrs,Time). Data points '
                         'on x-axis correspond to lines in run.stats.')
     parser.add_argument('--sample-interval', dest='sampleInterv',