diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp
index 2ab01495a..ff951d4c1 100644
--- a/src/ast/sls/sls_seq_plugin.cpp
+++ b/src/ast/sls/sls_seq_plugin.cpp
@@ -1676,7 +1676,7 @@ namespace sls {
             if (!is_str_update) {
                 i = m_int_updates.size();
                 do {
-                    lim -= m_str_updates[--i].m_score;
+                    lim -= m_int_updates[--i].m_score;
                 } while (lim >= 0 && i > 0);
             }