From ff498bb43b3d3785bdb894974678e65926de62ab Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 6 Jan 2017 13:27:18 -0600
Subject: [PATCH] Minor fix for sets.

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

diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp
index c65822005..6880a995d 100644
--- a/src/theory/sets/theory_sets_private.cpp
+++ b/src/theory/sets/theory_sets_private.cpp
@@ -258,7 +258,7 @@ bool TheorySetsPrivate::isEntailed( Node n, bool polarity ) {
         return true;
       }
     }
-  }else if( n.getKind()==kind::AND && n.getKind()==kind::OR ){
+  }else if( n.getKind()==kind::AND || n.getKind()==kind::OR ){
     bool conj = (n.getKind()==kind::AND)==polarity;
     for( unsigned i=0; i<n.getNumChildren(); i++ ){
       bool isEnt = isEntailed( n[i], polarity );
-- 
2.30.2