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