X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcomplete_rg%2FcrgOutput.ml;h=3634f9e80171e01ddb7b9ca0fa55973d41c7b13d;hb=4c157ac5c58f34fffc98289c2d2e71032d584a83;hp=593074ad832a68b54ff19d93b223cdb34b5b0280;hpb=93205dc852fa208b48a05757d05d9910b7d45fa1;p=helm.git

diff --git a/helm/software/lambda-delta/complete_rg/crgOutput.ml b/helm/software/lambda-delta/complete_rg/crgOutput.ml
index 593074ad8..3634f9e80 100644
--- a/helm/software/lambda-delta/complete_rg/crgOutput.ml
+++ b/helm/software/lambda-delta/complete_rg/crgOutput.ml
@@ -129,7 +129,7 @@ and exp_bind e a b out tab =
    let a, ns = Y.get_names f a in 
    match b with
       | D.Abst ws ->
-         let e = D.push_bind C.start e a (D.Abst []) in
+	 let e = D.push_bind C.start e a (D.Abst []) in
 	 let attrs = [X.name ns; X.mark a; X.arity (List.length ws)] in
          X.tag X.abst attrs ~contents:(list_rev_iter exp_term e ns ws) out tab
       | D.Abbr vs ->