diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp
index 1aa41c277..2ab01495a 100644
--- a/src/ast/sls/sls_seq_plugin.cpp
+++ b/src/ast/sls/sls_seq_plugin.cpp
@@ -879,6 +879,12 @@ namespace sls {
         return u[n][m];
     }
 
+    int seq_plugin::add_str_update(expr* e, zstring const& val, double score) {
+        zstring new_v = trunc_pad_to_fit(get_eval(e).min_length, get_eval(e).max_length, val);
+        m_str_updates.push_back({ e, new_v, score });
+        return new_v.length() == val.length() ? 0 : (new_v.length() > val.length() ? 1 : -1);
+    }
+
     zstring seq_plugin::trunc_pad_to_fit(unsigned min_length, unsigned max_length, zstring const& s) {
         if (s.length() > max_length)
             return s.extract(0, max_length);
@@ -1708,7 +1714,7 @@ namespace sls {
             }
         }
 
-        std::cout << "No candidate found" << std::endl;
+        // std::cout << "No candidate found" << std::endl;
         return false;
     }
 
diff --git a/src/ast/sls/sls_seq_plugin.h b/src/ast/sls/sls_seq_plugin.h
index f92a0aeee..6e571e61f 100644
--- a/src/ast/sls/sls_seq_plugin.h
+++ b/src/ast/sls/sls_seq_plugin.h
@@ -131,6 +131,7 @@ namespace sls {
         void add_char_edit_updates(ptr_vector<expr> const& w, zstring const& val, zstring const& val_other, uint_set const& chars);
         void add_substr_edit_updates(ptr_vector<expr> const& w, zstring const& val, zstring const& val_other, uint_set const& chars);
 
+        int add_str_update(expr* e, zstring const& val, double score);
         zstring trunc_pad_to_fit(unsigned min_length, unsigned max_length, zstring const& s);
 
         // regex functionality