From 1b51cf5ecde7ca9e6646d481b0d757dd31b06da8 Mon Sep 17 00:00:00 2001
From: Julian Büning <julian.buening@rwth-aachen.de>
Date: Wed, 5 Jan 2022 22:43:23 +0100
Subject: remove obsolete KLEE_LLVM legacy defines

---
 tools/kleaver/main.cpp | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'tools/kleaver')

diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp
index 558e7daf..22c23422 100644
--- a/tools/kleaver/main.cpp
+++ b/tools/kleaver/main.cpp
@@ -56,8 +56,7 @@ static llvm::cl::opt<ToolActions> ToolAction(
                      clEnumValN(PrintAST, "print-ast",
                                 "Print parsed AST nodes from the input file."),
                      clEnumValN(Evaluate, "evaluate",
-                                "Evaluate parsed AST nodes from the input file.")
-                         KLEE_LLVM_CL_VAL_END),
+                                "Evaluate parsed AST nodes from the input file.")),
     llvm::cl::cat(klee::SolvingCat));
 
 enum BuilderKinds {
@@ -74,8 +73,7 @@ static llvm::cl::opt<BuilderKinds> BuilderKind(
                      clEnumValN(ConstantFoldingBuilder, "constant-folding",
                                 "Fold constant expressions."),
                      clEnumValN(SimplifyingBuilder, "simplify",
-                                "Fold constants and simplify expressions.")
-                         KLEE_LLVM_CL_VAL_END),
+                                "Fold constants and simplify expressions.")),
     llvm::cl::cat(klee::ExprCat));
 
 llvm::cl::opt<std::string> DirectoryToWriteQueryLogs(
-- 
cgit 1.4.1