removing some old files

[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 5b45cc79f24a8cb8657e918b34ce938c7dff964a..22e1599b018a7cdc6c2333b2fa3d782c853622a7 100644 (file)
--- a/helm/software/helena/src/common/marks.ml
+++ b/helm/software/helena/src/common/marks.ml
@@ -11,7 +11,7 @@
 
 type mark = int
 
-let mark = ref 1
+let mark = ref 0
 
 (* interface functions ******************************************************)
 
@@ -20,4 +20,9 @@ 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
+
+let clear_marks () =
+   mark := 0