X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fdisambiguation%2FdisambiguateTypes.mli;h=c3601eae5858c81ca9451667738a08329290972a;hb=ffdd3ddd6ce10a5fa0729ab407647bd46c44b9d8;hp=43cfc2316120c2fd05f15e492284d7af439ed5b6;hpb=c04f852241510515f06e3bec8eb79acac6e4952e;p=helm.git

diff --git a/helm/software/components/disambiguation/disambiguateTypes.mli b/helm/software/components/disambiguation/disambiguateTypes.mli
index 43cfc2316..c3601eae5 100644
--- a/helm/software/components/disambiguation/disambiguateTypes.mli
+++ b/helm/software/components/disambiguation/disambiguateTypes.mli
@@ -58,4 +58,3 @@ type input_or_locate_uri_type =
   title:string -> ?id:string -> unit -> UriManager.uri option
 
 val string_of_domain_item: domain_item -> string
-val string_of_domain: domain_item list -> string