diff options
Diffstat (limited to 'lib/Expr/ExprSMTLIBPrinter.cpp')
| -rw-r--r-- | lib/Expr/ExprSMTLIBPrinter.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Expr/ExprSMTLIBPrinter.cpp b/lib/Expr/ExprSMTLIBPrinter.cpp index fd515509..8e0810ad 100644 --- a/lib/Expr/ExprSMTLIBPrinter.cpp +++ b/lib/Expr/ExprSMTLIBPrinter.cpp @@ -32,7 +32,7 @@ argConstantDisplayMode( llvm::cl::opt<bool> humanReadableSMTLIB( "smtlib-human-readable", llvm::cl::desc( - "Enables generated SMT-LIBv2 files to be human readable (default=off)"), + "Enables generated SMT-LIBv2 files to be human readable (default=false)"), llvm::cl::init(false)); llvm::cl::opt<klee::ExprSMTLIBPrinter::AbbreviationMode> abbreviationMode( |