some renaming. final commit for version 0.8.0

[helm.git] / helm / software / lambda-delta / basic_rg / brgOutput.ml

diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.ml b/helm/software/lambda-delta/basic_rg/brgOutput.ml
index 1a0b0650e544cf8b9d79b711fcd1c9023483d58a..662a71988d5a3182579c9ee3bb6b2fd82305f5d3 100644 (file)
--- a/helm/software/lambda-delta/basic_rg/brgOutput.ml
+++ b/helm/software/lambda-delta/basic_rg/brgOutput.ml
@@ -103,7 +103,7 @@ let count_entry f c = function
       } in
       f c
 
-let count_unit f c = function
+let count_entity f c = function
    | Some entry -> count_entry f c entry
    | None     -> f c