fixing issue #4808. (#4810)

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

1 files changed, 7 insertions, 1 deletions

diff --git a/src/theory/quantifiers/sygus/sygus_interpol.cpp b/src/theory/quantifiers/sygus/sygus_interpol.cpp
index 31f975786..cc97bb974 100644
--- 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())