From 2faf5ef995ad69dc7faa8ee168b89d2b25345681 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 30 Nov 2018 23:13:22 +0700
Subject: [PATCH] Remove unused iPos.

This was incremented, but never actually used, so remove it.
---
 src/smt/theory_str.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 2ae445561..bd0885fa4 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -7501,15 +7501,12 @@ namespace smt {
             expr_ref newConcat(m);
             if (arg1 != a1 || arg2 != a2) {
                 TRACE("str", tout << "resolved concat argument(s) to eqc string constants" << std::endl;);
-                int iPos = 0;
                 expr_ref_vector item1(m);
                 if (a1 != arg1) {
                     item1.push_back(ctx.mk_eq_atom(a1, arg1));
-                    iPos += 1;
                 }
                 if (a2 != arg2) {
                     item1.push_back(ctx.mk_eq_atom(a2, arg2));
-                    iPos += 1;
                 }
                 expr_ref implyL1(mk_and(item1), m);
                 newConcat = mk_concat(arg1, arg2);