X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautOutput.ml;h=4ccb74b5c3650531e906c6cfbe4b69d8d5373e8d;hb=154cbc049da8d8c3dd090a919a40c90eb23cc24e;hp=1acb075b2b99ae3cf9b25784140d3c64cc68ecee;hpb=b00b8de85c5ae6c5fbb6f47dc559bf4cfcf2a5b6;p=helm.git

diff --git a/helm/software/lambda-delta/automath/autOutput.ml b/helm/software/lambda-delta/automath/autOutput.ml
index 1acb075b2..4ccb74b5c 100644
--- a/helm/software/lambda-delta/automath/autOutput.ml
+++ b/helm/software/lambda-delta/automath/autOutput.ml
@@ -75,9 +75,6 @@ let count_item f c = function
       let f c = count_term f c t in
       count_term f c w
 
-let count f c b =
-   Cps.list_fold_left f count_item c b
-
 let print_counters f c =
    let terms = c.sorts + c.grefs + c.appls + c.absts in
    let items = c.sections + c.contexts + c.blocks + c.decls + c.defs in