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/Module/KModule.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'lib/Module/KModule.cpp')

diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index 2f78ce14..06b6e2f9 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -85,8 +85,7 @@ namespace {
                         clEnumValN(eSwitchTypeLLVM, "llvm", 
                                    "lower using LLVM"),
                         clEnumValN(eSwitchTypeInternal, "internal", 
-                                   "execute switch internally")
-                        KLEE_LLVM_CL_VAL_END),
+                                   "execute switch internally")),
              cl::init(eSwitchTypeInternal),
 	     cl::cat(ModuleCat));
   
-- 
cgit 1.4.1