From 24710c2f7f754cd8297409f82b5cb0789e16ee18 Mon Sep 17 00:00:00 2001
From: Ying Sheng <sqy1415@gmail.com>
Date: Tue, 28 Jul 2020 15:35:06 -0700
Subject: [PATCH] fixing issue #4808. (#4810)

fixing issue #4808. Remove structural binding, which only supported by c++17.
---
 src/theory/quantifiers/sygus/sygus_interpol.cpp | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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