- we implemented the hierarchy and sort names declaration in text parser

[helm.git] / helm / software / lambda-delta / complete_rg / crgOutput.ml

diff --git a/helm/software/lambda-delta/complete_rg/crgOutput.ml b/helm/software/lambda-delta/complete_rg/crgOutput.ml
index 593074ad832a68b54ff19d93b223cdb34b5b0280..3634f9e80171e01ddb7b9ca0fa55973d41c7b13d 100644 (file)
--- 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 ->