urimanager removed

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

diff --git a/matita/components/lexicon/lexiconSync.mli b/matita/components/lexicon/lexiconSync.mli
index c645bfdbee50b673c9693247797629bed67e67df..acdf7fd663153553f587c855f79b0611c101cbd8 100644 (file)
--- a/matita/components/lexicon/lexiconSync.mli
+++ b/matita/components/lexicon/lexiconSync.mli
@@ -24,8 +24,7 @@
  *)
 
 val add_aliases_for_objs:
- #LexiconEngine.status as 'status ->
-  [`Old of UriManager.uri list | `New of NUri.uri list]-> 'status
+ #LexiconEngine.status as 'status -> NUri.uri list -> 'status
 
 val time_travel: 
   present:#LexiconEngine.status -> past:#LexiconEngine.status -> unit