some renaming. final commit for version 0.8.0

[helm.git] / helm / software / lambda-delta / basic_ag / bagOutput.ml

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index eb3bf05d90bea375409a45151bebe76c936b11c7..400ffc55e5444c92cde8cbdfb89e624504effad6 100644 (file)
--- 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