X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Fentity.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fcommon%2Fentity.ml;h=7b8dab9508c23c6351445d4f0d5b56c88693d992;hb=6753156ae1618ef3fc7ff401808f769abd9eb03d;hp=3aa1ef6b59cfb086430cd408d734d64ccc36898b;hpb=8134330933e377a344b5ee38890198dc0b653428;p=helm.git

diff --git a/helm/software/lambda-delta/common/entity.ml b/helm/software/lambda-delta/common/entity.ml
index 3aa1ef6b5..7b8dab950 100644
--- a/helm/software/lambda-delta/common/entity.ml
+++ b/helm/software/lambda-delta/common/entity.ml
@@ -28,6 +28,8 @@ type uri_generator = string -> string (* this could be in CPS *)
 
 (* helpers ******************************************************************)
 
+let common f (a, u, _) = f a u
+
 let rec name err f = function
    | Name (n, r) :: _ -> f n r
    | _ :: tl          -> name err f tl