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];
         }
       }