new syntax of abstractions propagated to complete_rg

[helm.git] / helm / software / helena / src / basic_rg / brg.ml

diff --git a/helm/software/helena/src/basic_rg/brg.ml b/helm/software/helena/src/basic_rg/brg.ml
index 98d9fc26fe879c8b5862502a4006d9710a3ca589..7be7dc939fb41834136e4b31b02ef08946dbcce8 100644 (file)
--- a/helm/software/helena/src/basic_rg/brg.ml
+++ b/helm/software/helena/src/basic_rg/brg.ml
@@ -74,7 +74,7 @@ let get e i = get i e
 (* used in BrgOutput.pp_lenv *)
 let rec fold_right f map e x = match e with   
    | Null              -> f x
-   | Cons (e, c, a, b) -> fold_right (map f e c a b) map e x
+   | Cons (e, c, a, b) -> fold_right (map f c a b) map e x
 
 let rec mem err f e b = match e with
    | Null              -> err ()