From e7519f8b5020259bd02f01c24bed74cf0e0c8be2 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Tue, 7 May 2013 00:44:27 -0400
Subject: [PATCH] Disabling an incorrect prototyping line from the simplex
 merges.  Fixes bug 510.

---
 src/theory/arith/theory_arith_private.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/theory/arith/theory_arith_private.cpp b/src/theory/arith/theory_arith_private.cpp
index a49d3776d..9c43ca962 100644
--- a/src/theory/arith/theory_arith_private.cpp
+++ b/src/theory/arith/theory_arith_private.cpp
@@ -1867,7 +1867,6 @@ void TheoryArithPrivate::check(Theory::Effort effortLevel){
   if(!emmittedConflictOrSplit && Theory::fullEffort(effortLevel)){
     emmittedConflictOrSplit = splitDisequalities();
   }
-  emmittedConflictOrSplit = false;
 
   if(!emmittedConflictOrSplit && Theory::fullEffort(effortLevel) && !hasIntegerModel()){
     Node possibleConflict = Node::null();
-- 
2.30.2