remove unnecessary linebreak

This commit is contained in:
2025-08-07 18:12:27 +01:00
parent 14f97ecc57
commit c6f40ba9a0

View File

@@ -5,7 +5,6 @@ struct
open AppType open AppType
open InputMsg open InputMsg
fun getNumLength (pos, str) = fun getNumLength (pos, str) =
if pos = String.size str then if pos = String.size str then
pos pos