From 50a7935612e38e7cb7f439f9c196caafd07a9395 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Sun, 10 Nov 2024 22:02:22 +0000 Subject: [PATCH] minor change the nullSubstring function (use string literal for endWith parameter; no need to convert char to string) --- src/line_gap.sml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/line_gap.sml b/src/line_gap.sml index 869ad8f..670c817 100644 --- a/src/line_gap.sml +++ b/src/line_gap.sml @@ -2175,10 +2175,8 @@ struct let val finish = start + length val {idx, leftStrings, rightStrings, ...} = buffer - val endWith = Char.chr 0 - val endWith = Char.toString endWith in - sub (start, finish, idx, leftStrings, rightStrings, endWith) + sub (start, finish, idx, leftStrings, rightStrings, "\u0000") end fun substring (start, length, buffer : t) =