- the disambiguation of unified binders continues

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

diff --git a/helm/software/helena/src/common/marks.mli b/helm/software/helena/src/common/marks.mli
index b4bafe680eb692c03914ade7437caf0de56ecf99..d60fe0def3f039551f545764327452b94e9676c5 100644 (file)
--- a/helm/software/helena/src/common/marks.mli
+++ b/helm/software/helena/src/common/marks.mli
@@ -15,4 +15,6 @@ val marks: unit -> int
 
 val new_mark: unit -> mark 
 
-val to_string: mark -> string
+val null_mark: mark
+
+val string_of_mark: mark -> string