diff --git a/src/qe/mbp/mbp_arrays_tg.cpp b/src/qe/mbp/mbp_arrays_tg.cpp
index 502b9ca33..40c3360f4 100644
--- a/src/qe/mbp/mbp_arrays_tg.cpp
+++ b/src/qe/mbp/mbp_arrays_tg.cpp
@@ -201,7 +201,8 @@ struct mbp_array_tg::impl {
                 in = true;
                 eq_index = idx;
                 break;
-            }          
+            }  
+            ++idx;
         }
         if (in) {
             peq p_new = mk_wr_peq(a, p.rhs(), indices);