From e03eecf940d2aa84611379f2cc1453ca4576dd22 Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Tue, 30 Sep 2025 05:30:11 +0100
Subject: [PATCH] use LineGap.sub instead of LineGap.substring, as the former
 function is now fixed

---
 fcore/search-list/nfa.sml | 3 +--
 lib/brolib-sml            | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/fcore/search-list/nfa.sml b/fcore/search-list/nfa.sml
index b00c1f6..70c82b1 100644
--- 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
diff --git a/lib/brolib-sml b/lib/brolib-sml
index 14bb447..265e6e1 160000
--- a/lib/brolib-sml
+++ b/lib/brolib-sml
@@ -1 +1 @@
-Subproject commit 14bb447289622fc3408d0c62e81c4ff80eb45462
+Subproject commit 265e6e1a90638820fd2b5c553ed85d162a0f9571