Further fixing of spurious printing in CryptoMiniSat

As per report by Trevor Hansen

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@953 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/sat/cryptominisat2/XorSubsumer.cpp b/src/sat/cryptominisat2/XorSubsumer.cpp
index d1f6dd8d84e8dd995a294382b9d06472405645c1..dc5c4fbbe43ba75b4a446a7c0dda46ada0c2f6d8 100644 (file)
--- a/src/sat/cryptominisat2/XorSubsumer.cpp
+++ b/src/sat/cryptominisat2/XorSubsumer.cpp
@@ -474,7 +474,6 @@ const bool XorSubsumer::simplifyBySubsumption(const bool doFullSubsume)
         propagated =  (solver.qhead != solver.trail.size());
         solver.ok = (solver.propagate().isNULL());
         if (!solver.ok) {
-            std::cout << "c (contradiction during subsumption)" << std::endl;
             return false;
         }
         solver.clauseCleaner->cleanXorClausesBewareNULL(clauses, ClauseCleaner::xorSimpClauses, *this);