diff options
Diffstat (limited to 'src/theory/subs_minimize.cpp')
-rw-r--r-- | src/theory/subs_minimize.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/subs_minimize.cpp b/src/theory/subs_minimize.cpp index c16fab4a9..21862a251 100644 --- a/src/theory/subs_minimize.cpp +++ b/src/theory/subs_minimize.cpp @@ -194,15 +194,15 @@ bool SubstitutionMinimize::findInternal(Node n, { if (cur.isVar()) { - const std::vector<Node>::const_iterator& it = + const std::vector<Node>::const_iterator& iit = std::find(vars.begin(), vars.end(), cur); - if (it == vars.end()) + if (iit == vars.end()) { value[cur] = cur; } else { - ptrdiff_t pos = std::distance(vars.begin(), it); + ptrdiff_t pos = std::distance(vars.begin(), iit); value[cur] = subs[pos]; } } |