fixing issue #4808. (#4810)

fixing issue #4808. Remove structural binding, which only supported by c++17.

diff --git a/src/theory/quantifiers/sygus/sygus_interpol.cpp b/src/theory/quantifiers/sygus/sygus_interpol.cpp
index 31f975786d6c59f55951d4ce185307625601dac2..cc97bb9748fe0733193a4a57d25b15a0d1298bff 100644 (file)
--- a/src/theory/quantifiers/sygus/sygus_interpol.cpp
+++ b/src/theory/quantifiers/sygus/sygus_interpol.cpp
@@ -127,8 +127,14 @@ void SygusInterpol::getIncludeCons(
     expr::getOperatorsMap(conj, include_cons_conj);
 
     // Compute intersection
-    for (auto& [tn, axiomsOps] : include_cons_axioms)
+    for (std::map<TypeNode,
+                  std::unordered_set<Node, NodeHashFunction>>::iterator it =
+             include_cons_axioms.begin();
+         it != include_cons_axioms.end();
+         it++)
     {
+      TypeNode tn = it->first;
+      std::unordered_set<Node, NodeHashFunction> axiomsOps = it->second;
       std::map<TypeNode, std::unordered_set<Node, NodeHashFunction>>::iterator
           concIter = include_cons_conj.find(tn);
       if (concIter != include_cons_conj.end())