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