diff options
| -rw-r--r-- | CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index c61c2431..ed031459 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -170,7 +170,7 @@ if (ENABLE_KLEE_ASSERTS) # Assume that -DNDEBUG isn't set. else() message(STATUS "KLEE assertions disabled") - list(APPEND KLEE_COMPONENT_CXX_DEFINES "NDEBUG") + list(APPEND KLEE_COMPONENT_CXX_DEFINES "-DNDEBUG") endif() ################################################################################ |