1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Solver/QueryLoggingSolver.cpp b/lib/Solver/QueryLoggingSolver.cpp
index 4e06d1b2..19716e84 100644
--- a/lib/Solver/QueryLoggingSolver.cpp
+++ b/lib/Solver/QueryLoggingSolver.cpp
@@ -18,13 +18,13 @@
 namespace {
 llvm::cl::opt<bool> DumpPartialQueryiesEarly(
     "log-partial-queries-early", llvm::cl::init(false),
-    llvm::cl::desc("Log queries before calling the solver (default=off)"),
+    llvm::cl::desc("Log queries before calling the solver (default=false)"),
     llvm::cl::cat(klee::SolvingCat));
 
 #ifdef HAVE_ZLIB_H
 llvm::cl::opt<bool> CreateCompressedQueryLog(
     "compress-query-log", llvm::cl::init(false),
-    llvm::cl::desc("Compress query log files (default=off)"),
+    llvm::cl::desc("Compress query log files (default=false)"),
     llvm::cl::cat(klee::SolvingCat));
 #endif
 } // namespace