..

[helm.git] / matita / components / lexicon / lexiconTypes.mli

diff --git a/matita/components/lexicon/lexiconTypes.mli b/matita/components/lexicon/lexiconTypes.mli
index b94aa076fbb42046bc4ffa4765c24aee263643af..0ffd78bacb196faad7d37c2e715513b2b3fe8244 100644 (file)
--- a/matita/components/lexicon/lexiconTypes.mli
+++ b/matita/components/lexicon/lexiconTypes.mli
@@ -33,7 +33,6 @@ class type g_status =
  object
   inherit Interpretations.g_status
   inherit TermContentPres.g_status
-  inherit CicNotationParser.g_status
   method lstatus: lexicon_status
  end
 
@@ -42,7 +41,6 @@ class status :
   inherit g_status
   inherit Interpretations.status
   inherit TermContentPres.status
-  inherit CicNotationParser.status
   method set_lstatus: lexicon_status -> 'self
   method set_lexicon_engine_status: #g_status -> 'self
  end