X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fcps.ml;h=10ec62376b6d84a19e0fe5074f8a15bb8cb9fc08;hb=2b1375e4b44e2ef351a6341a5bb0a4823e8daae5;hp=aa0dbc7c1f2ac756599e765ee1f2d9298ade3987;hpb=3d23faf2969e2591db93f8bacc61952f3b66e2ca;p=helm.git

diff --git a/helm/software/lambda-delta/lib/cps.ml b/helm/software/lambda-delta/lib/cps.ml
index aa0dbc7c1..10ec62376 100644
--- a/helm/software/lambda-delta/lib/cps.ml
+++ b/helm/software/lambda-delta/lib/cps.ml
@@ -69,9 +69,7 @@ let list_iter2 f map l1 l2 =
 
 let rec list_fold_right f map l a = match l with
    | []       -> f a
-   | hd :: tl ->
-      let f a = map f hd a in
-      list_fold_right f map tl a
+   | hd :: tl -> list_fold_right (map f hd) map tl a
 
 let list_map f map l =
    let map f hd a =