Fixing an assertion Constraint::assertionFringe(...) to allow hasTrichotomyProof().

diff --git a/src/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp
index 822f0e5787af55d71c0eaccfcacdeb9761250135..f1cac9044ae332772df834b886043b7af8bc08f3 100644 (file)
--- a/src/theory/arith/constraint.cpp
+++ b/src/theory/arith/constraint.cpp
@@ -1346,7 +1346,7 @@ void Constraint::assertionFringe(ConstraintCPVec& v){
           v[writePos] = vi;
           writePos++;
         }else{
-          Assert(vi->hasFarkasProof() || vi->hasIntHoleProof() );
+          Assert(vi->hasTrichotomyProof() || vi->hasFarkasProof() || vi->hasIntHoleProof() );
           AntecedentId p = vi->getEndAntecedent();
 
           ConstraintCP antecedent = antecedents[p];