- new semantic log system

[helm.git] / helm / software / lambda-delta / lib / cps.ml

diff --git a/helm/software/lambda-delta/lib/cps.ml b/helm/software/lambda-delta/lib/cps.ml
index c235197d960db9ab46bc508316f893e28e3d4703..2e8b2c7155715c14d106bad53edd72bb21c11e0a 100644 (file)
--- 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