X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2FbrgType.ml;h=8b119e5e25aa165cabc483a3ad48faf13aa11295;hb=2b1375e4b44e2ef351a6341a5bb0a4823e8daae5;hp=8443cd16602aa7c75645a4c41e480d81a4f37e8f;hpb=0e6bf0ef18e3879a359b2b6f63d600c20102f0ab;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brgType.ml b/helm/software/lambda-delta/basic_rg/brgType.ml
index 8443cd166..8b119e5e2 100644
--- a/helm/software/lambda-delta/basic_rg/brgType.ml
+++ b/helm/software/lambda-delta/basic_rg/brgType.ml
@@ -66,7 +66,7 @@ let rec b_type_of err f st m x =
    log1 "Now checking" m x;
    match x with
    | B.Sort (a, h)           ->
-      let h = H.apply st.Y.g h in f x (B.Sort (a, h)) 
+      let h = H.apply h in f x (B.Sort (a, h)) 
    | B.LRef (_, i)           ->
       begin match R.get m i with
          | B.Abst w                  ->