let pp_attrs out a =
let f s b = if b then out (P.sprintf "%s;" s) else out (P.sprintf "~%s;" s) in
E.name ignore f a;
- let f i = out (P.sprintf "+%i;" i) in
- E.apix ignore f a
+ out (P.sprintf "+%i;" a.E.n_apix)
let rec pp_term out st = function
| D.TSort (a, l) -> pp_attrs out a; out (P.sprintf "*%u" l)