removing some old files

[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..e6d1faea79274f85652087f88af4e66cb131903c 100644 (file)
--- a/helm/software/helena/src/common/marks.mli
+++ b/helm/software/helena/src/common/marks.mli
@@ -15,4 +15,8 @@ val marks: unit -> int
 
 val new_mark: unit -> mark 
 
-val to_string: mark -> string
+val null_mark: mark
+
+val string_of_mark: mark -> string
+
+val clear_marks: unit -> unit