- we implemented the hierarchy and sort names declaration in text parser

[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 8443cd16602aa7c75645a4c41e480d81a4f37e8f..8b119e5e25aa165cabc483a3ad48faf13aa11295 100644 (file)
--- 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                  ->