diff options
Diffstat (limited to 'cmake/ConfigDebug.cmake')
-rw-r--r-- | cmake/ConfigDebug.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/ConfigDebug.cmake b/cmake/ConfigDebug.cmake index 50907a561..1493d1fb2 100644 --- a/cmake/ConfigDebug.cmake +++ b/cmake/ConfigDebug.cmake @@ -8,7 +8,7 @@ ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. ## -add_definitions(-DCVC4_DEBUG) +add_definitions(-DCVC5_DEBUG) add_check_c_cxx_flag("-fno-inline") set(OPTIMIZATION_LEVEL "g") # enable_debug_symbols=yes |