From da4276464f90ffd091cc98ee1f74412018481eb3 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 15 Jun 2015 00:28:10 +0200
Subject: [PATCH] Fixing an assertion Constraint::assertionFringe(...) to allow
 hasTrichotomyProof().

---
 src/theory/arith/constraint.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/theory/arith/constraint.cpp b/src/theory/arith/constraint.cpp
index 822f0e578..f1cac9044 100644
--- 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];
-- 
2.30.2