X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_position.mli;h=4f9d2306b74a4a28478913e0bd011c2f24f64062;hp=dab4067ed292d2877c72a34a3a6e526947b8cde9;hb=7c14a966d15aab098a4239b6ae6a3fc207504e7f;hpb=2eadd9297a93ac7776a810ed44a547b67dddf32b

diff --git a/compiler/src/lib/tiger/tiger_position.mli b/compiler/src/lib/tiger/tiger_position.mli
index dab4067..4f9d230 100644
--- a/compiler/src/lib/tiger/tiger_position.mli
+++ b/compiler/src/lib/tiger/tiger_position.mli
@@ -10,3 +10,5 @@ val of_lexing_positions
   :  pos_start:Lexing.position
   -> pos_end:Lexing.position
   -> t
+
+val to_string : t -> string