]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/lexicon/lexiconEngine.ml
More parts of the lexicon status made functional.
[helm.git] / matita / components / lexicon / lexiconEngine.ml
index 4aba86187b2ec388c4fa609d5ec3be55a2535ea9..7f16fe883c0e6564707ce12679c3dd136ae6443e 100644 (file)
@@ -49,18 +49,18 @@ let initial_status = {
 
 class type g_status =
  object
-  inherit Interpretations.g_status
+  inherit CicNotation.g_status
   method lstatus: lexicon_status
  end
 
 class status =
  object(self)
-  inherit Interpretations.status
+  inherit CicNotation.status
   val lstatus = initial_status
   method lstatus = lstatus
   method set_lstatus v = {< lstatus = v >}
   method set_lexicon_engine_status : 'status. #g_status as 'status -> 'self
-   = fun o -> (self#set_lstatus o#lstatus)#set_interp_status o
+   = fun o -> (self#set_lstatus o#lstatus)#set_notation_status o
  end
 
 let dump_aliases out msg status =