some renaming and some interfaces improved

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

diff --git a/helm/software/lambda-delta/toplevel/metaBag.ml b/helm/software/lambda-delta/toplevel/metaBag.ml
index 4f909bdcaa00443832415fae696f4e104f0658c1..e0dbf53aee27a468ed2f4538c856d8fb3592e4c9 100644 (file)
--- a/helm/software/lambda-delta/toplevel/metaBag.ml
+++ b/helm/software/lambda-delta/toplevel/metaBag.ml
@@ -45,7 +45,7 @@ let xlate_pars f pars =
       let f w = B.push "meta" f c l id (B.Abst w) in
       xlate_term c f w
    in
-   C.list_fold_right f map pars B.empty_context
+   C.list_fold_right f map pars B.empty_lenv
 
 let unwind_to_xlate_term f c t =
    let map f t (l, id, b) = f (B.bind l id b t) in