ocaml 3.09 transition

[helm.git] / helm / matita / matitaLog.mli

diff --git a/helm/matita/matitaLog.mli b/helm/matita/matitaLog.mli
index 8e789a700df4b381600a4474ec31c17cf28b41d1..6847ce32d578f9b4bc54f8f1e7c897f87c16a59b 100644 (file)
--- 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