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

diff --git a/matita/components/lexicon/lexiconTypes.mli b/matita/components/lexicon/lexiconTypes.mli
index 813b9955b..b94aa076f 100644
--- a/matita/components/lexicon/lexiconTypes.mli
+++ b/matita/components/lexicon/lexiconTypes.mli
@@ -25,7 +25,8 @@
 
 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 =