X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flogger%2Fui_logger.mli;fp=helm%2Focaml%2Flogger%2Fui_logger.mli;h=c66a226357f45fa872735a9146f5eabd1784a94b;hb=a17df4da923600a12126dfd2d15fd201119fd334;hp=3c548550ffc183115901d63e1dba89d63686ed12;hpb=444a1e5087b872a07ce43dda40211f9e3613d647;p=helm.git

diff --git a/helm/ocaml/logger/ui_logger.mli b/helm/ocaml/logger/ui_logger.mli
index 3c548550f..c66a22635 100644
--- a/helm/ocaml/logger/ui_logger.mli
+++ b/helm/ocaml/logger/ui_logger.mli
@@ -2,6 +2,8 @@
 type html_tag = [ `BR | `L of html_tag list | `T of string ]
 type html_msg = [ `Error of html_tag | `Msg of html_tag ]
 
+val string_of_html_msg: html_msg -> string
+
 class html_logger:
   ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool ->
     unit ->