X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FinvokeTactics.mli;h=200e50a15535eb69da4044fbc7f766eab9399e0c;hb=3ee539bf94fa9c894bdb0e81262d080e1c895371;hp=2c11fb3d358d0783e946537855106885aa934a03;hpb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;p=helm.git

diff --git a/helm/gTopLevel/invokeTactics.mli b/helm/gTopLevel/invokeTactics.mli
index 2c11fb3d3..200e50a15 100644
--- a/helm/gTopLevel/invokeTactics.mli
+++ b/helm/gTopLevel/invokeTactics.mli
@@ -52,7 +52,7 @@ module type Callbacks =
         context: Cic.context ;
         set_context : Cic.context -> unit >
     (* output messages *)
-    val output_html : string -> unit
+    val output_html : Ui_logger.html_msg -> unit
     (* GUI refresh functions *)
     val refresh_proof : unit -> unit
     val refresh_goals : unit -> unit