diff options
| -rw-r--r-- | tools/klee/main.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 787df1ec..9219134c 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -22,6 +22,7 @@ #include "klee/Internal/System/Time.h" #include "klee/Interpreter.h" #include "klee/OptionCategories.h" +#include "klee/SolverCmdLine.h" #include "klee/Statistics.h" #include "llvm/IR/Constants.h" @@ -1139,6 +1140,8 @@ linkWithUclibc(StringRef libDir, int main(int argc, char **argv, char **envp) { atexit(llvm_shutdown); // Call llvm_shutdown() on exit. + KCommandLine::HideOptions(llvm::cl::GeneralCategory); + llvm::InitializeNativeTarget(); parseArguments(argc, argv); |