diff options
Diffstat (limited to 'lib/Module/KModule.cpp')
| -rw-r--r-- | lib/Module/KModule.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index 45dc34bf..6438707a 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -92,8 +92,8 @@ namespace { clEnumValN(eSwitchTypeLLVM, "llvm", "lower using LLVM"), clEnumValN(eSwitchTypeInternal, "internal", - "execute switch internally"), - clEnumValEnd), + "execute switch internally") + KLEE_LLVM_CL_VAL_END), cl::init(eSwitchTypeInternal)); cl::opt<bool> |