X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagSubstitution.ml;h=ad75d63b83e06efbefed39b32d6f172ac044329c;hb=5dcae34c6e44a40e236db641f59ddb096d1a16ec;hp=25725520dca13730153d53d0cf4aa8259e7b09c5;hpb=338e3e5c639fbcfeeb347a0121cacc6c0f1fc42a;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagSubstitution.ml b/helm/software/lambda-delta/basic_ag/bagSubstitution.ml
index 25725520d..ad75d63b8 100644
--- a/helm/software/lambda-delta/basic_ag/bagSubstitution.ml
+++ b/helm/software/lambda-delta/basic_ag/bagSubstitution.ml
@@ -45,4 +45,4 @@ and lref_map f map t = match t with
 
 let subst f new_l old_l t =
    let map i = if i = old_l then new_l else i in
-   lref_map f map t
+   if new_l = old_l then f t else lref_map f map t