X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2Fcps.ml;fp=helm%2Fsoftware%2Flambda-delta%2Flib%2Fcps.ml;h=2e8b2c7155715c14d106bad53edd72bb21c11e0a;hb=8659e85d49be1ad72622d4d3a73d384b744c3c08;hp=c235197d960db9ab46bc508316f893e28e3d4703;hpb=f3b4d265268a43ca98e6843b733109fdfe3f6b0b;p=helm.git

diff --git a/helm/software/lambda-delta/lib/cps.ml b/helm/software/lambda-delta/lib/cps.ml
index c235197d9..2e8b2c715 100644
--- a/helm/software/lambda-delta/lib/cps.ml
+++ b/helm/software/lambda-delta/lib/cps.ml
@@ -49,3 +49,6 @@ let list_rev =
 let list_map f =
    list_rev_map (list_rev f)
    
+let list_iter f map l =
+   let map f () x = map f x in
+   list_fold_left f map () l