X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fdual_rg%2FdrgOutput.ml;h=e35e82f4e054002d324cfc4007137af281a80025;hb=6044e9411b4f174f382e9594fadacb40bb23c175;hp=17def385023d32020c395105479dd9f7e26e7a30;hpb=f7bb626faf6b9d89c0ee5ac48b1d97c69d189f8a;p=helm.git

diff --git a/helm/software/lambda-delta/dual_rg/drgOutput.ml b/helm/software/lambda-delta/dual_rg/drgOutput.ml
index 17def3850..e35e82f4e 100644
--- a/helm/software/lambda-delta/dual_rg/drgOutput.ml
+++ b/helm/software/lambda-delta/dual_rg/drgOutput.ml
@@ -16,12 +16,9 @@ module Y = Entity
 module X = Library
 module D = Drg
 
-let list_iter map l out tab =
-   let rec aux f = function
-      | []       -> f ()
-      | hd :: tl -> aux (fun () -> map hd out tab; f ()) tl
-   in
-   aux C.start l
+let rec list_iter map l out tab = match l with
+   | []       -> ()
+   | hd :: tl -> map hd out tab; list_iter map tl out tab
 
 let list_rev_iter map e ns l out tab =
    let rec aux err f e = function