Fix compiler warnings (#2602)

diff --git a/src/expr/datatype.cpp b/src/expr/datatype.cpp
index 66caedf8e844cfda6747b84a01dc401e31d04b51..8bedd497964f7f17b132413293223ddb9728fb3a 100644 (file)
--- a/src/expr/datatype.cpp
+++ b/src/expr/datatype.cpp
@@ -1316,7 +1316,7 @@ void DatatypeConstructorArg::toStream(std::ostream& out) const
   else if (d_selector.isNull())
   {
     string typeName = d_name.substr(d_name.find('\0') + 1);
-    out << (typeName == "") ? "[self]" : typeName;
+    out << ((typeName == "") ? "[self]" : typeName);
     return;
   }
   else

diff --git a/src/theory/quantifiers/sygus/cegis_unif.h b/src/theory/quantifiers/sygus/cegis_unif.h
index 448150d06c75cb469dc2f8826e3e10329e8423e4..972d07af7b3ed1f60201194a2dbf90e93edf92e7 100644 (file)
--- a/src/theory/quantifiers/sygus/cegis_unif.h
+++ b/src/theory/quantifiers/sygus/cegis_unif.h
@@ -71,6 +71,13 @@ class CegisUnifEnumDecisionStrategy : public DecisionStrategyFmf
   void initialize(const std::vector<Node>& es,
                   const std::map<Node, Node>& e_to_cond,
                   const std::map<Node, std::vector<Node>>& strategy_lemmas);
+
+  /*
+   * Do not hide the zero-argument version of initialize() inherited from the
+   * base class
+   */
+  using DecisionStrategy::initialize;
+
   /** get the current set of enumerators for strategy point e
    *
    * Index 0 adds the set of return value enumerators to es, index 1 adds the

diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h
index 6c653bf05309ef3eebc30443ba581388d53e6efb..236c3906c3cd478cd5b92ad769e455b3e50adeb2 100644 (file)
--- a/src/theory/strings/theory_strings.h
+++ b/src/theory/strings/theory_strings.h
@@ -740,6 +740,12 @@ private:
     /** initialize */
     void initialize(const std::vector<Node>& vars);
 
+    /*
+     * Do not hide the zero-argument version of initialize() inherited from the
+     * base class
+     */
+    using DecisionStrategyFmf::initialize;
+
    private:
     /**
      * User-context-dependent node corresponding to the sum of the lengths of