diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-01-06 13:27:18 -0600 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-01-06 13:27:37 -0600 |
| commit | ff498bb43b3d3785bdb894974678e65926de62ab (patch) | |
| tree | f293e8ff1af6852fe47f35e40a1bbaba5e8964df /src/theory | |
| parent | e05f7f5cea72649069fe2f6fd96d063dcad78da2 (diff) | |
Minor fix for sets.
Diffstat (limited to 'src/theory')
| -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 ); |