diff options
Diffstat (limited to 'cmake/ConfigProduction.cmake')
| -rw-r--r-- | cmake/ConfigProduction.cmake | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/cmake/ConfigProduction.cmake b/cmake/ConfigProduction.cmake index 1b30dc1aa..49e338abf 100644 --- a/cmake/ConfigProduction.cmake +++ b/cmake/ConfigProduction.cmake @@ -1,6 +1,4 @@ # OPTLEVEL=3 -# enable_optimized=yes -cvc4_set_option(ENABLE_OPTIMIZED ON) set(OPTIMIZATION_LEVEL 3) # enable_debug_symbols=no cvc4_set_option(ENABLE_DEBUG_SYMBOLS OFF) |