diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-25 07:34:54 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-25 07:34:54 -0500 |
| commit | a86035ec401f815b252312fa2ef54e4a588c4f7c (patch) | |
| tree | bb87933396bf272ea86f7118a99ff61ffbc47746 /src/theory/quantifiers | |
| parent | d383a8ff4868d80f33247b84e94c6ea9c0c1b3c5 (diff) | |
Fix warnings uncovered by cmake build (#2521)
Diffstat (limited to 'src/theory/quantifiers')
| -rw-r--r-- | src/theory/quantifiers/extended_rewrite.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/extended_rewrite.cpp b/src/theory/quantifiers/extended_rewrite.cpp index e64e1b7b2..ab292e7bb 100644 --- a/src/theory/quantifiers/extended_rewrite.cpp +++ b/src/theory/quantifiers/extended_rewrite.cpp @@ -787,8 +787,8 @@ Node ExtendedRewriter::extendedRewriteBcp( // also, treat it as clause if possible if (cln.getNumChildren() > 0 - & (bcp_kinds.empty() - || bcp_kinds.find(cln.getKind()) != bcp_kinds.end())) + && (bcp_kinds.empty() + || bcp_kinds.find(cln.getKind()) != bcp_kinds.end())) { if (std::find(clauses.begin(), clauses.end(), cn) == clauses.end() && prop_clauses.find(cn) == prop_clauses.end()) |