X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaLog.mli;h=6847ce32d578f9b4bc54f8f1e7c897f87c16a59b;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=8e789a700df4b381600a4474ec31c17cf28b41d1;hpb=de9a83f286eee12117fb478ea2db18f7faebac9a;p=helm.git

diff --git a/helm/matita/matitaLog.mli b/helm/matita/matitaLog.mli
index 8e789a700..6847ce32d 100644
--- a/helm/matita/matitaLog.mli
+++ b/helm/matita/matitaLog.mli
@@ -27,6 +27,7 @@ type log_tag = [ `Debug | `Error | `Message | `Warning ]
 type log_callback = log_tag -> string -> unit
 
 val set_log_callback: log_callback -> unit
+val get_log_callback: unit -> log_callback
 
 val message : string -> unit
 val warn : string -> unit