- further simplifications (??) of the status dependencies

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

diff --git a/matita/components/lexicon/lexiconSync.mli b/matita/components/lexicon/lexiconSync.mli
index f9ed5240696b05fb8782b612c7c2fd0d25ec8237..b46af6fbbaa7c28d96faa7a3306246c50c7121d7 100644 (file)
--- 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