- some code patched

[helm.git] / helm / ocaml / cic_disambiguation / disambiguateTypes.mli

diff --git a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
index ccde1a4e85690dc66374e93a67deffc9558f8fc7..db9829e03d1a0fc6c23734b6257d54d93e1e7755 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguateTypes.mli
@@ -52,7 +52,7 @@ module type Callbacks =
 
     (** @param title gtk window title for user prompting
      * @param id unbound identifier which originated this callback invocation *)
-    val input_or_locate_uri : title:string -> ?id:string -> UriManager.uri
+    val input_or_locate_uri : title:string -> ?id:string -> unit -> UriManager.uri
   end
 
 val string_of_domain_item: domain_item -> string