- brgOutput: the nodes count is now implemented

[helm.git] / helm / software / lambda-delta / basic_rg / brgType.ml

diff --git a/helm/software/lambda-delta/basic_rg/brgType.ml b/helm/software/lambda-delta/basic_rg/brgType.ml
index 4bf5882a4885a48cf53e1fc4af257e875820bc9e..85ecf995a5f711dec601dbec6dcdfaaae6320e8c 100644 (file)
--- 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) ->