X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcommon%2Fmarks.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcommon%2Fmarks.ml;h=fba716b37494560fc7d9063e437a821191fafff9;hb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;hp=a9b78762a97942868ebcf454e341ced733f3bbd9;hpb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;p=helm.git

diff --git a/helm/software/lambda-delta/src/common/marks.ml b/helm/software/lambda-delta/src/common/marks.ml
index a9b78762a..fba716b37 100644
--- a/helm/software/lambda-delta/src/common/marks.ml
+++ b/helm/software/lambda-delta/src/common/marks.ml
@@ -11,11 +11,14 @@
 
 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 () =
    E.Mark (new_location ())