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

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index eb3bf05d9..400ffc55e 100644
--- a/helm/software/lambda-delta/basic_ag/bagOutput.ml
+++ b/helm/software/lambda-delta/basic_ag/bagOutput.ml
@@ -74,7 +74,7 @@ let count_entry_binder f c = function
 let count_entry f c (_, _, b) =
    count_entry_binder f c b
 
-let count_unit f c = function
+let count_entity f c = function
    | Some entry -> count_entry f c entry
    | None     -> f c