X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flexicon%2FlexiconTypes.mli;h=0ffd78bacb196faad7d37c2e715513b2b3fe8244;hb=2a59f55f4625ebabb02aefc3cb8c8842040be554;hp=813b9955bdf71ca7dc2066f8f7cba5300a601d96;hpb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;p=helm.git

diff --git a/matita/components/lexicon/lexiconTypes.mli b/matita/components/lexicon/lexiconTypes.mli
index 813b9955b..0ffd78bac 100644
--- a/matita/components/lexicon/lexiconTypes.mli
+++ b/matita/components/lexicon/lexiconTypes.mli
@@ -25,14 +25,14 @@
 
 type lexicon_status = {
   aliases: GrafiteAst.alias_spec DisambiguateTypes.Environment.t;
-  multi_aliases: GrafiteAst.alias_spec list DisambiguateTypes.Environment.t
+  multi_aliases: GrafiteAst.alias_spec list DisambiguateTypes.Environment.t;
+  new_aliases: (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) list
 }
 
 class type g_status =
  object
   inherit Interpretations.g_status
   inherit TermContentPres.g_status
-  inherit CicNotationParser.g_status
   method lstatus: lexicon_status
  end
 
@@ -41,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