From 8662b392fe342334def808ee8948fa4fc53f37de Mon Sep 17 00:00:00 2001
From: Luciano Perezzini <lperezzini@gmail.com>
Date: Tue, 28 Nov 2017 19:22:09 -0300
Subject: [PATCH] New method: deleteEnterFromString()

---
 utils.sig | 3 +++
 utils.sml | 4 ++++
 2 files changed, 7 insertions(+)

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