X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Ftext%2FtxtTxt.ml;h=1d501fe0d7221faa4157f2268da48ae641ea732c;hb=d6fcddf027206f74cfa2195bf1e261b22ec4e739;hp=4564adca4aa5270df0e46d9590ccc8a200aeea9a;hpb=28430d599505ac26b51e4887e5196d9b380c898a;p=helm.git

diff --git a/helm/software/lambda-delta/text/txtTxt.ml b/helm/software/lambda-delta/text/txtTxt.ml
index 4564adca4..1d501fe0d 100644
--- a/helm/software/lambda-delta/text/txtTxt.ml
+++ b/helm/software/lambda-delta/text/txtTxt.ml
@@ -60,4 +60,3 @@ and contract_binder f = function
       in
       let f xwws = f (T.Abst xwws) in
       C.list_map f map xws
-