From 79a4935dec695ce7bbc55178f1dcab5ce26e4fb7 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sun, 10 Nov 2024 11:15:56 +0000 Subject: [PATCH] receive updated version of line_gap.sml, which gives us ability to use substring --- lib/brolib-sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/brolib-sml b/lib/brolib-sml index 446e335..c2e74d8 160000 --- a/lib/brolib-sml +++ b/lib/brolib-sml @@ -1 +1 @@ -Subproject commit 446e335f5432512ba6993bb0e4e78454b007ffd0 +Subproject commit c2e74d89fdf73edd9855a2e9511cee13f746f3ef