From bef4620cdb3f6d98b9d79afc8d7339052c9bc78e Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Tue, 16 Sep 2025 05:36:26 +0100
Subject: [PATCH] amend LineGap.append function: previously, we were
 calculating the updated textLength and lineLength, but we were not using
 them, instead passing the old parameters instead. Now we use them as well.

---
 src/line_gap.sml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/line_gap.sml b/src/line_gap.sml
index d915924..8b76a02 100644
--- a/src/line_gap.sml
+++ b/src/line_gap.sml
@@ -1230,8 +1230,8 @@ struct
         , line
         , leftLines
         , rightLines
-        , textLength
-        , lineLength
+        , newTextLength
+        , newLineLength
         )
     end