diff options
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.cpp')
| -rw-r--r-- | src/theory/quantifiers/quantifiers_rewriter.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/quantifiers/quantifiers_rewriter.cpp b/src/theory/quantifiers/quantifiers_rewriter.cpp index 6d7275fac..e62f1dbdf 100644 --- a/src/theory/quantifiers/quantifiers_rewriter.cpp +++ b/src/theory/quantifiers/quantifiers_rewriter.cpp @@ -1200,7 +1200,7 @@ bool QuantifiersRewriter::getVarElimIneq(Node body, std::vector<Node> inactive_vars; std::map<Node, std::map<int, bool> > visited; std::map<Node, int> exclude; - for (const std::pair<Node, bool>& pr : qpr.d_phase_reqs) + for (const std::pair<const Node, bool>& pr : qpr.d_phase_reqs) { if (pr.first.getKind() == GEQ) { @@ -1274,7 +1274,7 @@ bool QuantifiersRewriter::getVarElimIneq(Node body, } while (!evisit.empty() && !elig_vars.empty()); bool ret = false; - for (const std::pair<Node, bool>& ev : elig_vars) + for (const std::pair<const Node, bool>& ev : elig_vars) { Node v = ev.first; Trace("var-elim-ineq-debug") |