diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index ae71518d..033ff5b1 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -118,9 +118,9 @@ namespace { cl::cat(TestCaseCat)); - /*** Starting options ***/ + /*** Startup options ***/ - cl::OptionCategory StartCat("Starting options", + cl::OptionCategory StartCat("Startup options", "These options affect how execution is started."); cl::opt<std::string> |