basic_rg: reduction was not tail recursive by mistake

[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 a97219120dc2cbc1098bafb22ffd24b874efe55a..763f61af41f62acd3de5fad75584834437490eae 100644 (file)
--- a/helm/software/lambda-delta/basic_ag/bagOutput.ml
+++ b/helm/software/lambda-delta/basic_ag/bagOutput.ml
@@ -70,6 +70,7 @@ let count_entity f c = function
    | _, _, Y.Abbr v -> 
       let c = {c with eabbrs = succ c.eabbrs} in
       count_term f c v
+   | _, _, Y.Void   -> assert false
 
 let print_counters f c =
    let terms =