X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcommon%2Fmarks.ml;h=a9b78762a97942868ebcf454e341ced733f3bbd9;hb=d1c9cdb2de96aa2dda6a7b25a4c4959b82b08f6c;hp=026414e2a2e2c1bc80cb5840bc648f87bef2d627;hpb=ab13cfa248f0ee58d239ceeddfb50ec49a6b5c6d;p=helm.git

diff --git a/helm/software/lambda-delta/src/common/marks.ml b/helm/software/lambda-delta/src/common/marks.ml
index 026414e2a..a9b78762a 100644
--- a/helm/software/lambda-delta/src/common/marks.ml
+++ b/helm/software/lambda-delta/src/common/marks.ml
@@ -9,7 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module Y = Entity
+module E = Entity
 
 (* interface functions ******************************************************)
 
@@ -18,4 +18,4 @@ let new_location =
    fun () -> incr location; !location
 
 let new_mark () =
-   Y.Mark (new_location ())
+   E.Mark (new_location ())