X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flexicon%2FlexiconEngine.mli;h=c09fc980624484f7a379ba1ede05bc7c9947f152;hb=057a399c7f497cde3a09cd46505a441d2d6bacc7;hp=6209ce40df3765d41b1c541d621c47df2f778015;hpb=cd664aefb80554952ed9b010f0c5199ce3a6f8f2;p=helm.git

diff --git a/matita/components/lexicon/lexiconEngine.mli b/matita/components/lexicon/lexiconEngine.mli
index 6209ce40d..c09fc9806 100644
--- a/matita/components/lexicon/lexiconEngine.mli
+++ b/matita/components/lexicon/lexiconEngine.mli
@@ -25,6 +25,7 @@
 
 val set_proof_aliases:
  #LexiconTypes.status as 'status ->
+  implicit_aliases:bool -> (* implicit ones are made explicit *)
   GrafiteAst.inclusion_mode ->
   (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) list -> 'status