]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/lib/cps.ml
we enabled the new style xml exportation, in particular for dual_rg
[helm.git] / helm / software / lambda-delta / lib / cps.ml
index aa0dbc7c1f2ac756599e765ee1f2d9298ade3987..10ec62376b6d84a19e0fe5074f8a15bb8cb9fc08 100644 (file)
@@ -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 =