X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fcps.ml;h=10ec62376b6d84a19e0fe5074f8a15bb8cb9fc08;hb=f7bb626faf6b9d89c0ee5ac48b1d97c69d189f8a;hp=aa0dbc7c1f2ac756599e765ee1f2d9298ade3987;hpb=21478bf4534374bb3c2c131acb096c7d3ffc2058;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 =