X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftext%2FtxtTxt.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Ftext%2FtxtTxt.ml;h=fe0988401a3a803c74ee9696c3b418fc7db5163c;hb=f7988fc51f7c96617aa2b3320628645480af681a;hp=d2c85cb921a9ac4d3e492b0e1b70dd03d0367fbc;hpb=fa9e69af2ad5a22692f6fdd555d37bc6d80c5ad9;p=helm.git

diff --git a/helm/software/lambda-delta/src/text/txtTxt.ml b/helm/software/lambda-delta/src/text/txtTxt.ml
index d2c85cb92..fe0988401 100644
--- a/helm/software/lambda-delta/src/text/txtTxt.ml
+++ b/helm/software/lambda-delta/src/text/txtTxt.ml
@@ -23,7 +23,7 @@ let rec contract f = function
       contract f tt      
    | T.Impl (n, true, id, w, t)  -> 
       let f = function
-         | T.Bind (n, T.Abst [xw], T.Bind (_, T.Abst xws, tt)) ->
+         | T.Bind (_, T.Abst [xw], T.Bind (n, T.Abst xws, tt)) ->
             f (T.Bind (n, T.Abst (xw :: xws), tt))
 	 | tt                                            -> f tt
       in