Minor fix for sets.

diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp
index c658220057500d776ce5d14f7620bb26c56bf0d7..6880a995d75fdf3ce4cb4bc989c767d65205466c 100644 (file)
--- 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 );