Experimental scripts for nth-order rewriting principles.

[helm.git] / helm / software / lambda-delta / dual_rg / drgOutput.ml

diff --git a/helm/software/lambda-delta/dual_rg/drgOutput.ml b/helm/software/lambda-delta/dual_rg/drgOutput.ml
index 17def385023d32020c395105479dd9f7e26e7a30..e35e82f4e054002d324cfc4007137af281a80025 100644 (file)
--- 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