- bug fix in the RTM

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