1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp
index 8befe8f6..fdd4cdd9 100644
--- a/lib/Core/SpecialFunctionHandler.cpp
+++ b/lib/Core/SpecialFunctionHandler.cpp
@@ -46,7 +46,9 @@ namespace {
   cl::opt<bool>
   SilentKleeAssume("silent-klee-assume",
                    cl::init(false),
-                   cl::desc("Do not treat infeasible assumption as error."));
+                   cl::desc("Silently terminate paths with an infeasible "
+                            "condition given to klee_assume() rather than "
+                            "emitting an error (default=false)"));
 }