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;