From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 25 Sep 2018 12:34:54 +0000 (-0500)
Subject: Fix warnings uncovered by cmake build (#2521)
X-Git-Tag: cvc5-1.0.0~4508
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a86035ec401f815b252312fa2ef54e4a588c4f7c;p=cvc5.git

Fix warnings uncovered by cmake build (#2521)
---

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