X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagReduction.ml;h=b7eb88f6395ee4f3fd0a5dbb24f4d6d9450b8907;hb=ea41b1f6e212334924a8de4b2ff53b2586de9c4b;hp=a05d4b5d682b7333c26b182fd76c4ba139ccda99;hpb=cd798346d31b14b8947e5801b87dc4f363607862;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagReduction.ml b/helm/software/lambda-delta/basic_ag/bagReduction.ml
index a05d4b5d6..b7eb88f63 100644
--- a/helm/software/lambda-delta/basic_ag/bagReduction.ml
+++ b/helm/software/lambda-delta/basic_ag/bagReduction.ml
@@ -120,6 +120,7 @@ let rec ho_whd f c m x =
       | GRef_ (_, _, Y.Abst w) -> ho_whd f c m w  
       | GRef_ (_, _, Y.Abbr v) -> ho_whd f c m v
       | LRef_ (_, None)        -> assert false
+      | GRef_ (_, _, Y.Void)   -> assert false
    in
    whd aux c m x