Matitaweb: layout change in the matitaweb inteface, in order to allow better

[helm.git] / helm / software / lambda-delta / src / common / marks.ml

diff --git a/helm/software/lambda-delta/src/common/marks.ml b/helm/software/lambda-delta/src/common/marks.ml
index 026414e2a2e2c1bc80cb5840bc648f87bef2d627..fba716b37494560fc7d9063e437a821191fafff9 100644 (file)
--- a/helm/software/lambda-delta/src/common/marks.ml
+++ b/helm/software/lambda-delta/src/common/marks.ml
@@ -9,13 +9,16 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module Y = Entity
+module E = Entity
+
+let location = ref 0
 
 (* interface functions ******************************************************)
 
-let new_location =
-   let location = ref 0 in
-   fun () -> incr location; !location
+let locations () = !location
+
+let new_location () =
+   incr location; !location
 
 let new_mark () =
-   Y.Mark (new_location ())
+   E.Mark (new_location ())