- proper KAM with closures implemented for the brg kernel

[helm.git] / helm / software / lambda-delta / toplevel / metaBrg.ml

diff --git a/helm/software/lambda-delta/toplevel/metaBrg.ml b/helm/software/lambda-delta/toplevel/metaBrg.ml
index b82e51a3efa1f387a17565832028c37565deb001..9fe774b8126f3d99986fd91b2affd3f1d30e3eb8 100644 (file)
--- a/helm/software/lambda-delta/toplevel/metaBrg.ml
+++ b/helm/software/lambda-delta/toplevel/metaBrg.ml
@@ -47,8 +47,8 @@ let xlate_pars f pars =
    C.list_fold_right f map pars B.empty_context
 
 let unwind_to_xlate_term f c t =
-   let map f t (a, b) = f (B.bind a b t) in
-   let f t = C.list_fold_left f map t c in
+   let map f t a b = f (B.bind a b t) in
+   let f t = B.fold_left f map t c in
    xlate_term c f t
 
 let xlate_entry f = function