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

---
 lib/Expr/ArrayExprOptimizer.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'lib/Expr/ArrayExprOptimizer.cpp')

diff --git a/lib/Expr/ArrayExprOptimizer.cpp b/lib/Expr/ArrayExprOptimizer.cpp
index b329b1ec..0d4707b2 100644
--- a/lib/Expr/ArrayExprOptimizer.cpp
+++ b/lib/Expr/ArrayExprOptimizer.cpp
@@ -38,8 +38,7 @@ llvm::cl::opt<ArrayOptimizationType> OptimizeArray(
                      clEnumValN(INDEX, "index", "Index-based transformation"),
                      clEnumValN(VALUE, "value",
                                 "Value-based transformation at branch (both "
-                                "concrete and concrete/symbolic)")
-                         KLEE_LLVM_CL_VAL_END),
+                                "concrete and concrete/symbolic)")),
     llvm::cl::init(NONE),
     llvm::cl::desc("Optimize accesses to either concrete or concrete/symbolic "
                    "arrays. (default=false)"),
-- 
cgit 1.4.1