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