X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.mli;h=8c9064e1da3a49e79e4f9447b6c038e9d20732c0;hb=1b295975c01ec30b507a7afabea73e967b8eae43;hp=b82cb394737dd2ea96d7e94a253f02e32713a005;hpb=ddff8ae1e15c9fcaf83320978a5cad509d734a74;p=helm.git

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index b82cb3947..8c9064e1d 100644
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -40,10 +40,10 @@ val interactive_uri_choice:
   ?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
   ?ok_action:[`AUTO|`SELECT] ->
   ?copy_cb:(string -> unit) -> unit ->
-    MatitaDisambiguator.choose_uris_callback
+    GrafiteDisambiguator.choose_uris_callback
 
   (** @raise MatitaTypes.Cancel *)
 val interactive_interp_choice:
   unit ->
-    MatitaDisambiguator.choose_interp_callback
+    GrafiteDisambiguator.choose_interp_callback