diff options
author | Ying Sheng <sqy1415@gmail.com> | 2020-07-28 15:35:06 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-28 17:35:06 -0500 |
commit | 24710c2f7f754cd8297409f82b5cb0789e16ee18 (patch) | |
tree | 8e3f07902fcbc2d3b37045ddf3c82bd6a1780ce3 /src/theory/quantifiers | |
parent | c323481d737d82b4b4b2906afec3200fe223707f (diff) |
fixing issue #4808. (#4810)
fixing issue #4808. Remove structural binding, which only supported by c++17.
Diffstat (limited to 'src/theory/quantifiers')
-rw-r--r-- | src/theory/quantifiers/sygus/sygus_interpol.cpp | 8 |
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()) |