diff options
| -rw-r--r-- | src/theory/sets/theory_sets_private.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |