- helena: the improved attribute system allows to export the sorts of Pi's

[helm.git] / helm / software / helena / src / complete_rg / crgOutput.ml

diff --git a/helm/software/helena/src/complete_rg/crgOutput.ml b/helm/software/helena/src/complete_rg/crgOutput.ml
index bb15264b0252efe25b661d775ac428f27c6c548e..dfef1f250748a2e439dc90c097f3e9ed2067b323 100644 (file)
--- a/helm/software/helena/src/complete_rg/crgOutput.ml
+++ b/helm/software/helena/src/complete_rg/crgOutput.ml
@@ -132,8 +132,7 @@ let print_counters f c =
 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)