X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FtermEditor.mli;h=44c543276b9c977df1ce72dbb8fc2f864ce53307;hb=69789d216abc552d2538089fd62b53af6f75b8b8;hp=23f657c64954a051ba2dbe47aabdc74772a7c9e3;hpb=0b360e3e0202f27b62f1d3804315b665aca1a15a;p=helm.git

diff --git a/helm/gTopLevel/termEditor.mli b/helm/gTopLevel/termEditor.mli
index 23f657c64..44c543276 100644
--- a/helm/gTopLevel/termEditor.mli
+++ b/helm/gTopLevel/termEditor.mli
@@ -35,7 +35,7 @@ class type term_editor =
    method id_to_uris : Disambiguate.domain_and_interpretation ref
  end
 
-val empty_id_to_uris : string list * (string -> CicTextualParser0.uri option)
+val empty_id_to_uris : Disambiguate.domain_and_interpretation
 
 module Make (C : Disambiguate.Callbacks) :
    sig