X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FgTopLevel%2Fdisambiguate.mli;h=79e77df4819b1148609a9f56d068044e4c8d8238;hb=5ef5752989f98bd821975f7f570c980f5943237a;hp=0114ce27f4e985659ea6d41059a3a292cc312d17;hpb=4019f7f93ffc05e4ca98bcaafc8a681adff040b6;p=helm.git

diff --git a/helm/gTopLevel/disambiguate.mli b/helm/gTopLevel/disambiguate.mli
index 0114ce27f..79e77df48 100644
--- a/helm/gTopLevel/disambiguate.mli
+++ b/helm/gTopLevel/disambiguate.mli
@@ -44,7 +44,7 @@ module type Callbacks =
     val get_metasenv : unit -> Cic.metasenv
     val set_metasenv : Cic.metasenv -> unit
 
-    val output_html : string -> unit
+    val output_html : ?append_NL:bool -> Ui_logger.html_msg -> unit
     val interactive_user_uri_choice :
       selection_mode:[`SINGLE | `MULTIPLE] ->
       ?ok:string ->