X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagOutput.ml;h=763f61af41f62acd3de5fad75584834437490eae;hb=7f89b4dce54266c281479a14c01edc4bd33993d1;hp=a97219120dc2cbc1098bafb22ffd24b874efe55a;hpb=cd798346d31b14b8947e5801b87dc4f363607862;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagOutput.ml b/helm/software/lambda-delta/basic_ag/bagOutput.ml
index a97219120..763f61af4 100644
--- 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 =