diff options
Diffstat (limited to 'lib/Core/ExecutorTimers.cpp')
| -rw-r--r-- | lib/Core/ExecutorTimers.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/ExecutorTimers.cpp b/lib/Core/ExecutorTimers.cpp index 38411c4f..b8ea97c2 100644 --- a/lib/Core/ExecutorTimers.cpp +++ b/lib/Core/ExecutorTimers.cpp @@ -39,7 +39,7 @@ using namespace klee; cl::opt<double> MaxTime("max-time", - cl::desc("Halt execution after the specified number of seconds (0=off)"), + cl::desc("Halt execution after the specified number of seconds (default=0 (off))"), cl::init(0)); /// |