diff options
Diffstat (limited to 'unittests/KDAlloc/CMakeLists.txt')
| -rw-r--r-- | unittests/KDAlloc/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unittests/KDAlloc/CMakeLists.txt b/unittests/KDAlloc/CMakeLists.txt index 87d016d7..0d19891b 100644 --- a/unittests/KDAlloc/CMakeLists.txt +++ b/unittests/KDAlloc/CMakeLists.txt @@ -5,7 +5,7 @@ add_klee_unit_test(KDAllocTest rusage.cpp sample.cpp stacktest.cpp) -target_compile_definitions(KDAllocTest PRIVATE KDALLOC_CHECKED USE_KDALLOC USE_GTEST_INSTEAD_OF_MAIN) +target_compile_definitions(KDAllocTest PRIVATE USE_GTEST_INSTEAD_OF_MAIN) target_compile_definitions(KDAllocTest PRIVATE ${KLEE_COMPONENT_CXX_DEFINES}) target_compile_options(KDAllocTest PRIVATE ${KLEE_COMPONENT_CXX_FLAGS}) target_include_directories(KDAllocTest PRIVATE ${KLEE_INCLUDE_DIRS}) \ No newline at end of file |