X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fcomplete_rg%2FcrgBrg.ml;h=bfed7ad9e7174d65c536c905fcb65e6ca1f113a3;hb=34a5ef53f3ad2771cb45f90a2da6713bccdf3608;hp=d07e6efbf7730331bea330ec2520f7acaa74c660;hpb=da715664068e859d20ab81fd6969e64d58c0f57e;p=helm.git

diff --git a/helm/software/lambda-delta/complete_rg/crgBrg.ml b/helm/software/lambda-delta/complete_rg/crgBrg.ml
index d07e6efbf..bfed7ad9e 100644
--- a/helm/software/lambda-delta/complete_rg/crgBrg.ml
+++ b/helm/software/lambda-delta/complete_rg/crgBrg.ml
@@ -45,16 +45,16 @@ and xlate_bind x a b =
    match b with
       | D.Abst ws ->
          let map x n w = 
-	    let f ww = B.Bind (B.Abst (n :: a, ww), x) in xlate_term f w
+	    let f ww = B.Bind (n :: a, B.Abst ww, x) in xlate_term f w
 	 in
 	 List.fold_left2 map x ns ws 
       | D.Abbr vs ->
          let map x n v = 
-	    let f vv = B.Bind (B.Abbr (n :: a, vv), x) in xlate_term f v
+	    let f vv = B.Bind (n :: a, B.Abbr vv, x) in xlate_term f v
 	 in
 	 List.fold_left2 map x ns vs
       | D.Void _  ->
-         let map x n = B.Bind (B.Void (n :: a), x) in
+         let map x n = B.Bind (n :: a, B.Void, x) in
 	 List.fold_left map x ns
 
 and xlate_proj x _ e =