- the connections between the intermediate language and the "bag"

[helm.git] / helm / software / lambda-delta / src / basic_ag / bagSubstitution.ml

diff --git a/helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml b/helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml
index 7a341783c3032b1c36edd6644a2f5064c65591a6..f8c34789208be7ab19673e302966f3d09564c60a 100644 (file)
--- a/helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml
+++ b/helm/software/lambda-delta/src/basic_ag/bagSubstitution.ml
@@ -36,8 +36,8 @@ and lref_map f map t = match t with
       let f w' u' = f (W.sh2 w w' u u' t Z.appl) in
       let f w' = lref_map (f w') map u in 
       lref_map f map w
-   | Z.Bind (l, id, b, u) ->
-      let f b' u' = f (W.sh2 b b' u u' t (Z.bind l id)) in
+   | Z.Bind (a, l, b, u) ->
+      let f b' u' = f (W.sh2 b b' u u' t (Z.bind a l)) in
       let f b' = lref_map (f b') map u in 
       lref_map_bind f map b