From: Ying Sheng <sqy1415@gmail.com>
Date: Tue, 28 Jul 2020 22:35:06 +0000 (-0700)
Subject: fixing issue #4808. (#4810)
X-Git-Tag: cvc5-1.0.0~3072
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=24710c2f7f754cd8297409f82b5cb0789e16ee18;p=cvc5.git

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