diff --git a/src/math/polysat/search_state.h b/src/math/polysat/search_state.h
index 0d704d922..82e232ed5 100644
--- a/src/math/polysat/search_state.h
+++ b/src/math/polysat/search_state.h
@@ -149,7 +149,7 @@ namespace polysat {
         }
 
         bool next() {
-#if 0  // If you want to resolve over constraints that have been added during conflict resolution, enable this.
+#if 1  // If you want to resolve over constraints that have been added during conflict resolution, enable this.
             try_push_block();
 #endif
             if (current > last()) {