- the disambiguation of unified binders continues

[helm.git] / helm / software / helena / src / common / marks.ml

diff --git a/helm/software/helena/src/common/marks.ml b/helm/software/helena/src/common/marks.ml
index b376a2c51d196eea552e399dfcdc8a181d9e86eb..dd8bdc5cfe2ec40a0c20dc29dbb02fbb5608fcd5 100644 (file)
--- a/helm/software/helena/src/common/marks.ml
+++ b/helm/software/helena/src/common/marks.ml
@@ -20,4 +20,6 @@ let marks () = !mark
 let new_mark () =
    incr mark; !mark
 
-let to_string i = string_of_int i
+let null_mark = 0
+
+let string_of_mark i = string_of_int i