use LineGap.sub instead of LineGap.substring, as the former function is now fixed

2025-09-30 05:30:11 +01:00
parent b35d045a09
commit e03eecf940
2 changed files with 2 additions and 3 deletions
--- a/fcore/search-list/nfa.sml
+++ b/fcore/search-list/nfa.sml
@@ -176,8 +176,7 @@ struct
          acc
        else
          let
-            val chr = LineGap.substring (pos, 1, buffer)
-            val chr = String.sub (chr, 0)
+            val chr = LineGap.sub (pos, buffer)
            val (nfa, state) = rebuild (nfa, chr, pos)
          in
            case state of