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 | |
| parent | d383a8ff4868d80f33247b84e94c6ea9c0c1b3c5 (diff) | |
Fix warnings uncovered by cmake build (#2521)
Diffstat (limited to 'src')
| -rw-r--r-- | src/theory/datatypes/datatypes_sygus.cpp | 4 | ||||
| -rw-r--r-- | src/theory/quantifiers/extended_rewrite.cpp | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/datatypes/datatypes_sygus.cpp b/src/theory/datatypes/datatypes_sygus.cpp index a6a3ffc9d..1d1d2c2be 100644 --- a/src/theory/datatypes/datatypes_sygus.cpp +++ b/src/theory/datatypes/datatypes_sygus.cpp @@ -1223,8 +1223,8 @@ void SygusSymBreakNew::incrementCurrentSearchSize( Node m, std::vector< Node >& for (const TNode& t : itt->second) { if (!options::sygusSymBreakLazy() - || d_active_terms.find(t) != d_active_terms.end() - && !it->second.empty()) + || (d_active_terms.find(t) != d_active_terms.end() + && !it->second.empty())) { Node rlv = getRelevancyCondition(t); std::unordered_map<TNode, TNode, TNodeHashFunction> cache; 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()) |