X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2FbrgType.ml;h=85ecf995a5f711dec601dbec6dcdfaaae6320e8c;hb=9f8544610ba0245bde47f367de6716e1f256ab18;hp=4bf5882a4885a48cf53e1fc4af257e875820bc9e;hpb=5d492df3e2715395a554f64dc3f040e13f892974;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brgType.ml b/helm/software/lambda-delta/basic_rg/brgType.ml
index 4bf5882a4..85ecf995a 100644
--- a/helm/software/lambda-delta/basic_rg/brgType.ml
+++ b/helm/software/lambda-delta/basic_rg/brgType.ml
@@ -80,7 +80,7 @@ let rec b_type_of f g c x =
       let f xv = B.push (f xv) c a (B.Abbr xv) in
       let f xv vv = match xv with 
 	 | B.Cast _ -> f xv
-         | _        -> f (B.Cast ([], vv, xv))
+         | _        -> assert false (* f (B.Cast ([], vv, xv)) *)
       in
       type_of f g c v
    | B.Bind (a, B.Abst u, t) ->