From d3c6031b19a73bdc6f3c9deadc5d98cf22e1be30 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Mon, 22 Sep 2025 10:30:00 +0100 Subject: [PATCH] pull in new version of brolib-sml, which has bug fixes for line_gap.sml's 'lineNumberToIdx' function --- lib/brolib-sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/brolib-sml b/lib/brolib-sml index 8c56f9c..5b6b132 160000 --- a/lib/brolib-sml +++ b/lib/brolib-sml @@ -1 +1 @@ -Subproject commit 8c56f9cc95794274d358af3b9e3de67fce534fc0 +Subproject commit 5b6b13278b690b9fd5c744556a0f7dbf586443fc