- bug fix in the RTM

[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 dd8bdc5cfe2ec40a0c20dc29dbb02fbb5608fcd5..22e1599b018a7cdc6c2333b2fa3d782c853622a7 100644 (file)
--- a/helm/software/helena/src/common/marks.ml
+++ b/helm/software/helena/src/common/marks.ml
@@ -23,3 +23,6 @@ let new_mark () =
 let null_mark = 0
 
 let string_of_mark i = string_of_int i
+
+let clear_marks () =
+   mark := 0