X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.ml;h=358f2d49ec99ea62d790bd0b74daa076b0d891ef;hb=78a92e3cc2deb60d306da93d9dcf987c1cb219ba;hp=9ab85396987da8c754797b5f9fffcfb81da4760f;hpb=3f00169098f1cd1cdecbbf20982f7c4c58f7d71d;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
index 9ab853969..358f2d49e 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
@@ -59,7 +59,7 @@ module type Callbacks =
       title:string -> msg:string -> id:string -> string list -> string list
     val interactive_interpretation_choice :
       (string * string) list list -> int list
-    val input_or_locate_uri : title:string -> UriManager.uri
+    val input_or_locate_uri : title:string -> ?id:string -> UriManager.uri
   end
 
 let string_of_domain_item = function