X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flexicon%2FlexiconSync.mli;h=b46af6fbbaa7c28d96faa7a3306246c50c7121d7;hb=f9f775a550264a8dc9ce7ea9a48b79892a122c3c;hp=f9ed5240696b05fb8782b612c7c2fd0d25ec8237;hpb=2a59f55f4625ebabb02aefc3cb8c8842040be554;p=helm.git

diff --git a/matita/components/lexicon/lexiconSync.mli b/matita/components/lexicon/lexiconSync.mli
index f9ed52406..b46af6fbb 100644
--- a/matita/components/lexicon/lexiconSync.mli
+++ b/matita/components/lexicon/lexiconSync.mli
@@ -24,4 +24,4 @@
  *)
 
 val add_aliases_for_objs:
- #LexiconTypes.status as 'status -> NUri.uri list -> 'status
+ #GrafiteDisambiguate.status as 'status -> NUri.uri list -> 'status