Minor fix for quantifiers preprocessing pass

ajreynol · Feb 24, 2025 · b9860a7 · b9860a7
1 parent 76b59f0
commit b9860a7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/preprocessing/passes/quantifiers_preprocess.cpp b/src/preprocessing/passes/quantifiers_preprocess.cpp
@@ -51,6 +51,10 @@ PreprocessingPassResult QuantifiersPreprocess::applyInternal(
       Trace("quantifiers-preprocess") << "*** Pre-skolemize " << prev << endl;
       Trace("quantifiers-preprocess")
           << "   ...got " << (*assertionsToPreprocess)[i] << endl;
+      if (assertionsToPreprocess->isInConflict())
+      {
+        return PreprocessingPassResult::CONFLICT;
+      }
     }
   }