- improved logging

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

diff --git a/helm/software/lambda-delta/basic_ag/bagSubstitution.ml b/helm/software/lambda-delta/basic_ag/bagSubstitution.ml
index 25725520dca13730153d53d0cf4aa8259e7b09c5..ad75d63b83e06efbefed39b32d6f172ac044329c 100644 (file)
--- 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