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 ->