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

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