From c6f40ba9a07c27c5e2d034335d2aa71c54787bf4 Mon Sep 17 00:00:00 2001 From: Humza Shahid Date: Thu, 7 Aug 2025 18:12:27 +0100 Subject: [PATCH] remove unnecessary linebreak --- fcore/normal-mode/normal-mode.sml | 1 - 1 file changed, 1 deletion(-) diff --git a/fcore/normal-mode/normal-mode.sml b/fcore/normal-mode/normal-mode.sml index 9a39e87..1921474 100644 --- a/fcore/normal-mode/normal-mode.sml +++ b/fcore/normal-mode/normal-mode.sml @@ -5,7 +5,6 @@ struct open AppType open InputMsg - fun getNumLength (pos, str) = if pos = String.size str then pos