From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 6 Jan 2017 19:27:18 +0000 (-0600)
Subject: Minor fix for sets.
X-Git-Tag: cvc5-1.0.0~5922
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ff498bb43b3d3785bdb894974678e65926de62ab;p=cvc5.git

Minor fix for sets.
---

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 );