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

[helm.git] / helm / software / lambda-delta / common / entity.ml

diff --git a/helm/software/lambda-delta/common/entity.ml b/helm/software/lambda-delta/common/entity.ml
index 0fa060321e24d635b488be2f4b235e55c79cb6a3..d0e049d23343971bd7bda65232ca39f6dd1cab37 100644 (file)
--- a/helm/software/lambda-delta/common/entity.ml
+++ b/helm/software/lambda-delta/common/entity.ml
@@ -29,7 +29,6 @@ type 'term entity = attrs * uri * 'term bind (* attrs, name, binder *)
 type uri_generator = string -> string
 
 type status = {
-   g: Hierarchy.graph; (* sort hierarchy parameter *)
    delta: bool;        (* global delta-expansion *)
    rt: bool;           (* reference typing *)
    si: bool;           (* sort inclusion *)
@@ -105,6 +104,6 @@ let xlate f xlate_term = function
    | _, _, Void   ->
       assert false
 
-let initial_status g expand si = {
-   g = g; delta = false; rt = false; si = si; expand = expand
+let initial_status expand si = {
+   delta = false; rt = false; si = si; expand = expand
 }