X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaOutput.ml;h=21d735d0e187f3f366fc25a475739fa0a84ffeed;hb=2e451dca46e509fd7e7772f3d2e438c189ce10a1;hp=caf3cc960deeec33e9c922a2ca0ca1924d8efaf8;hpb=cd798346d31b14b8947e5801b87dc4f363607862;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/metaOutput.ml b/helm/software/lambda-delta/toplevel/metaOutput.ml
index caf3cc960..21d735d0e 100644
--- a/helm/software/lambda-delta/toplevel/metaOutput.ml
+++ b/helm/software/lambda-delta/toplevel/metaOutput.ml
@@ -83,6 +83,7 @@ let count_entity f c = function
       let f c = count_xterm f c xv in
       let f c = count_term f c w in
       Cps.list_fold_left f count_par c pars
+   | _, _, Y.Void               -> assert false
 
 let print_counters f c =
    let terms = c.tsorts + c.tlrefs + c.tgrefs + c.tappls + c.tabsts in
@@ -155,6 +156,7 @@ let pp_entity frm = function
       F.fprintf frm "@[%u@@%s%a%a:%a@]@\n%!" 
          (Y.mark C.err C.start a) (U.string_of_uri uri) 
 	 pp_pars pars (pp_body a) body pp_term u
+   | _, _, Y.Void                   -> assert false
 
 let pp_entity f frm entity =
    pp_entity frm entity; f ()