Do not normalize to representatives for variable equalities in conflict-based instant...

[cvc5.git] / cmake / ConfigCompetition.cmake

diff --git a/cmake/ConfigCompetition.cmake b/cmake/ConfigCompetition.cmake
index 6bd846d0cef67e5c490ee16cc0e458b0f19f5fdc..e18d2b2f1b212ef206659313feda31dec179815e 100644 (file)
--- a/cmake/ConfigCompetition.cmake
+++ b/cmake/ConfigCompetition.cmake
@@ -8,8 +8,6 @@ set(OPTIMIZATION_LEVEL 9)
 cvc4_set_option(ENABLE_DEBUG_SYMBOLS OFF)
 # enable_statistics=no
 cvc4_set_option(ENABLE_STATISTICS OFF)
-# enable_replay=no
-cvc4_set_option(ENABLE_REPLAY OFF)
 # enable_assertions=no
 cvc4_set_option(ENABLE_ASSERTIONS OFF)
 # enable_proof=no