X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaOutput.mli;h=1a7b119ced10f1ff5ccb22056336e562ab83e620;hb=f2771b346a41445df23adb6acccd7ee6b1578666;hp=aefb43bef314406cf86896555614b3a069315f93;hpb=e86383ae4805a526b3acca2ef3c936b3f22daaad;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/metaOutput.mli b/helm/software/lambda-delta/toplevel/metaOutput.mli
index aefb43bef..1a7b119ce 100644
--- a/helm/software/lambda-delta/toplevel/metaOutput.mli
+++ b/helm/software/lambda-delta/toplevel/metaOutput.mli
@@ -13,8 +13,8 @@ type counters
 
 val initial_counters: counters
 
-val count_item: (counters -> 'a) -> counters -> Meta.item -> 'a
+val count_entity: (counters -> 'a) -> counters -> Meta.entity -> 'a
 
 val print_counters: (unit -> 'a) -> counters -> 'a
 
-val pp_item: (unit -> 'a) -> Format.formatter -> Meta.item -> 'a
+val pp_entity: (unit -> 'a) -> Format.formatter -> Meta.entity -> 'a