diff options
| -rw-r--r-- | lib/Expr/ExprVisitor.cpp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/lib/Expr/ExprVisitor.cpp b/lib/Expr/ExprVisitor.cpp index 3eced3bf..b99cc7e7 100644 --- a/lib/Expr/ExprVisitor.cpp +++ b/lib/Expr/ExprVisitor.cpp @@ -7,16 +7,17 @@ // //===----------------------------------------------------------------------===// -#include "klee/Expr.h" #include "klee/util/ExprVisitor.h" +#include "klee/Expr.h" #include "llvm/Support/CommandLine.h" namespace { - llvm::cl::opt<bool> - UseVisitorHash("use-visitor-hash", - llvm::cl::desc("Use hash-consing during expr visitation."), - llvm::cl::init(true)); +llvm::cl::opt<bool> UseVisitorHash( + "use-visitor-hash", + llvm::cl::desc( + "Use hash-consing during expression visitation (default=true)"), + llvm::cl::init(true), llvm::cl::cat(klee::ExprCat)); } using namespace klee; |