X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautOutput.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fautomath%2FautOutput.ml;h=4ccb74b5c3650531e906c6cfbe4b69d8d5373e8d;hb=973b0b1fd5f44b96a3c367a9756f28b75b9fa30b;hp=1acb075b2b99ae3cf9b25784140d3c64cc68ecee;hpb=98b8901060eafdd18e49f42a1182ad580df4a574;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