From e792bb8628ea7010fa9c452bf1aa7ba1b60291a3 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Tue, 29 Jun 2010 20:53:47 +0000
Subject: Merging the unate-propagator branch into the trunk.  This is a big
 update so expect a little turbulence. This commit will not compile. There
 will be a second commit that fixes this in a moment. I am delaying a change
 to avoid svn whining about a conflict.

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

(limited to 'src/theory/uf')

diff --git a/src/theory/uf/theory_uf.cpp b/src/theory/uf/theory_uf.cpp
index d13baf6a9..f440c3d0f 100644
--- a/src/theory/uf/theory_uf.cpp
+++ b/src/theory/uf/theory_uf.cpp
@@ -307,7 +307,7 @@ void TheoryUF::check(Effort level) {
     merge();
   }
 
-  if(fullEffort(level)) {
+  if(standardEffortOrMore(level)) {
     for(CDList<Node>::const_iterator diseqIter = d_disequality.begin();
         diseqIter != d_disequality.end();
         ++diseqIter) {
-- 
cgit v1.2.3