X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Flib%2Fcps.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Flib%2Fcps.ml;h=f993ffb049cef6f3930a8da3a60822b2935bd517;hb=a5709dff43233c041f77a4ee4b7f2df1a3c51ab6;hp=10ec62376b6d84a19e0fe5074f8a15bb8cb9fc08;hpb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;p=helm.git

diff --git a/helm/software/lambda-delta/src/lib/cps.ml b/helm/software/lambda-delta/src/lib/cps.ml
index 10ec62376..f993ffb04 100644
--- a/helm/software/lambda-delta/src/lib/cps.ml
+++ b/helm/software/lambda-delta/src/lib/cps.ml
@@ -71,6 +71,11 @@ let rec list_fold_right f map l a = match l with
    | []       -> f a
    | hd :: tl -> list_fold_right (map f hd) map tl a
 
+let rec list_fold_right2 f map l1 l2 a = match l1, l2 with
+   | [], []                 -> f a
+   | hd1 :: tl1, hd2 :: tl2 -> list_fold_right2 (map f hd1 hd2) map tl1 tl2 a
+   | _                      -> failwith "Cps.list_fold_right2"
+
 let list_map f map l =
    let map f hd a = 
       let f hd = f (hd :: a) in map f hd