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 fba716b37494560fc7d9063e437a821191fafff9..22e1599b018a7cdc6c2333b2fa3d782c853622a7 100644 (file)
--- a/helm/software/helena/src/common/marks.ml
+++ b/helm/software/helena/src/common/marks.ml
@@ -9,16 +9,20 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module E = Entity
+type mark = int
 
-let location = ref 0
+let mark = ref 0
 
 (* interface functions ******************************************************)
 
-let locations () = !location
-
-let new_location () =
-   incr location; !location
+let marks () = !mark
 
 let new_mark () =
-   E.Mark (new_location ())
+   incr mark; !mark
+
+let null_mark = 0
+
+let string_of_mark i = string_of_int i
+
+let clear_marks () =
+   mark := 0