X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguateTypes.ml;h=64fcdb5a839cc279a9575e52aea72c68bfcdb9b2;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=078297a26e966739f12eac162de6cc0b49a5525b;hpb=358cefe50cccd4cb7d8e2a9cecb7efcb5780b8a3;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
index 078297a26..64fcdb5a8 100644
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.ml
@@ -62,7 +62,8 @@ module type Callbacks =
       selection_mode:[`SINGLE | `MULTIPLE] ->
       ?ok:string ->
       ?enable_button_for_non_vars:bool ->
-      title:string -> msg:string -> id:string -> string list -> string list
+      title:string -> msg:string -> id:string -> UriManager.uri list ->
+      UriManager.uri list
     val interactive_interpretation_choice:
       (string * string) list list -> int list
     val input_or_locate_uri: