From 7082eafd05b4f268132ab94772c0243dbebf5087 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 23 Jun 2023 22:34:12 +0100
Subject: Add code to only keep in the --help menu the KLEE/Kleaver option
 categories

---
 tools/kleaver/main.cpp | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'tools/kleaver/main.cpp')

diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index 51298dfb..42ca0c55 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -382,11 +382,7 @@ static bool printInputAsSMTLIBv2(const char *Filename,
 }
 
 int main(int argc, char **argv) {
-#if LLVM_VERSION_CODE >= LLVM_VERSION(13, 0)
-  KCommandLine::HideOptions(llvm::cl::getGeneralCategory());
-#else
-  KCommandLine::HideOptions(llvm::cl::GeneralCategory);
-#endif
+  KCommandLine::KeepOnlyCategories({&ExprCat, &SolvingCat});
 
   bool success = true;
 
-- 
cgit 1.4.1