- we now use a streaming architecture (run time gain: 11 secs)

[helm.git] / helm / software / lambda-delta / automath / autOutput.ml

diff --git a/helm/software/lambda-delta/automath/autOutput.ml b/helm/software/lambda-delta/automath/autOutput.ml
index 1acb075b2b99ae3cf9b25784140d3c64cc68ecee..4ccb74b5c3650531e906c6cfbe4b69d8d5373e8d 100644 (file)
--- 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