X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaOutput.ml;h=4cec084b69c1241e544e151799aaad3ef4cecd38;hb=bbb2b03fee9f7c7595870d997118d51c1ce469f2;hp=7349fa573d9cbca4ee41e456c2c17304d361dbef;hpb=960ed22a5a6c415e2cf0ec9e8f5680d75c3ca0cd;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/metaOutput.ml b/helm/software/lambda-delta/toplevel/metaOutput.ml
index 7349fa573..4cec084b6 100644
--- a/helm/software/lambda-delta/toplevel/metaOutput.ml
+++ b/helm/software/lambda-delta/toplevel/metaOutput.ml
@@ -60,9 +60,7 @@ let rec count_term f c = function
       let f c = count_term f c t in
       count_term f c w
 
-let count_par f c (_, w) = 
-   let c = {c with nodes = succ c.nodes} in
-   count_term f c w
+let count_par f c (_, w) = count_term f c w
 
 let count_entry f c = function
    | _, pars, u, w, None        ->
@@ -84,7 +82,7 @@ let count_item f c = function
    | None   -> f c
 
 let print_counters f c =
-   let terms = c.tsorts + c.tgrefs + c.tgrefs + c.tappls + c.tabsts in
+   let terms = c.tsorts + c.tlrefs + c.tgrefs + c.tappls + c.tabsts in
    let pars = c.pabsts + c.pappls in
    let items = c.eabsts + c.eabbrs in
    let nodes = c.nodes + c.xnodes in