diff options
Diffstat (limited to 'cmake/ConfigCompetition.cmake')
-rw-r--r-- | cmake/ConfigCompetition.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake index 297fc785a..6e87902e1 100644 --- a/cmake/ConfigCompetition.cmake +++ b/cmake/ConfigCompetition.cmake @@ -8,7 +8,7 @@ ## All rights reserved. See the file COPYING in the top-level source ## directory for licensing information. ## -add_definitions(-DCVC4_COMPETITION_MODE) +add_definitions(-DCVC5_COMPETITION_MODE) add_check_c_cxx_flag("-funroll-all-loops") add_check_c_cxx_flag("-fexpensive-optimizations") add_check_c_cxx_flag("-fno-enforce-eh-specs") |