From 4887372bcd513c18981b916c4f63ad855e1ea667 Mon Sep 17 00:00:00 2001 From: CEisenhofer Date: Tue, 21 Jan 2025 11:16:45 +0100 Subject: [PATCH] Different heuristic --- src/ast/sls/sls_seq_plugin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp index 70d639965..b2e570f78 100644 --- a/src/ast/sls/sls_seq_plugin.cpp +++ b/src/ast/sls/sls_seq_plugin.cpp @@ -687,7 +687,7 @@ namespace sls { else if (m_str_update_strategy == EDIT_SUBSTR) add_substr_edit_updates(w, val, val_other, chars); else { - if (diff < 3) + if (val.length() / 3 >= diff - 1) add_char_edit_updates(w, val, val_other, chars); else add_substr_edit_updates(w, val, val_other, chars);