diff --git a/utils.sig b/utils.sig index 67f0608..4bb235d 100644 --- a/utils.sig +++ b/utils.sig @@ -21,4 +21,7 @@ sig (* Converts a Splaymap dict to string *) val dictToString : ('a, 'b) Splaymap.dict -> ('a -> string) -> ('b -> string) -> string + + (* Deletes last enter from a string *) + val deleteEnterFromString : string -> string end \ No newline at end of file diff --git a/utils.sml b/utils.sml index 96f00b5..a899950 100644 --- a/utils.sml +++ b/utils.sml @@ -63,4 +63,8 @@ struct pairToString pair aToString bToString) end + fun deleteEnterFromString str = + String.substring(str, 0, (String.size str) - 1) + handle Subscript => raise Fail "Error - deleteEnterFromString()" + end \ No newline at end of file