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 ->
| 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