some renaming and some interfaces improved

[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 4c5696ceaf86802c60dd60e508f2c021f1032c0b..9b0ae73dbb4e0cf9f74ccb80240cdde7a3304c95 100644 (file)
--- a/helm/software/lambda-delta/toplevel/metaBrg.ml
+++ b/helm/software/lambda-delta/toplevel/metaBrg.ml
@@ -44,7 +44,7 @@ let xlate_pars f pars =
       let f w = B.push f c (B.abst a 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 b = f (B.bind b t) in