X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagOutput.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagOutput.ml;h=a97219120dc2cbc1098bafb22ffd24b874efe55a;hb=cd798346d31b14b8947e5801b87dc4f363607862;hp=400ffc55e5444c92cde8cbdfb89e624504effad6;hpb=40ecc6da8b481b45d6bf0e1cfd2c285e98ed8e35;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index 400ffc55e..a97219120 100644
--- a/helm/software/lambda-delta/basic_ag/bagOutput.ml
+++ b/helm/software/lambda-delta/basic_ag/bagOutput.ml
@@ -13,6 +13,7 @@ module P = Printf
 module F = Format
 module U = NUri
 module L = Log
+module Y = Entity
 module H = Hierarchy
 module O = Output
 module B = Bag
@@ -62,21 +63,13 @@ and count_term f c = function
       let f c = count_term_binder f c b in
       count_term f c t
 
-let count_entry_binder f c = function
-   | B.Abst w -> 
+let count_entity f c = function
+   | _, _, Y.Abst w -> 
       let c = {c with eabsts = succ c.eabsts} in
       count_term f c w
-   | B.Abbr v -> 
+   | _, _, Y.Abbr v -> 
       let c = {c with eabbrs = succ c.eabbrs} in
       count_term f c v
-   | B.Void   -> f c
-
-let count_entry f c (_, _, b) =
-   count_entry_binder f c b
-
-let count_entity f c = function
-   | Some entry -> count_entry f c entry
-   | None     -> f c
 
 let print_counters f c =
    let terms =