diff options
-rw-r--r-- | tools/kleaver/main.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index 55f7862b..f5b5e13a 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -394,6 +394,9 @@ static bool printInputAsSMTLIBv2(const char *Filename, } int main(int argc, char **argv) { + + KCommandLine::HideOptions(llvm::cl::GeneralCategory); + bool success = true; #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 9) |