- lambda-delta: some fixes: now the grundlagen type-checkes through dual_rg

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

diff --git a/helm/software/lambda-delta/common/entity.ml b/helm/software/lambda-delta/common/entity.ml
index 3aa1ef6b59cfb086430cd408d734d64ccc36898b..7b8dab9508c23c6351445d4f0d5b56c88693d992 100644 (file)
--- 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