X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaLog.ml;h=6ac82da58cd9b968b3eb0dcf5d7cc2dc0ac0a49f;hb=b6e1e47a8fdb45e9e47af9dfd047a0241ecf59c1;hp=8c2e9a7a5826b0be8c5ec58d9661c39529368fd9;hpb=4b84dd78aa6b596a0d3ee38745890ff65efa8b10;p=helm.git

diff --git a/helm/matita/matitaLog.ml b/helm/matita/matitaLog.ml
index 8c2e9a7a5..6ac82da58 100644
--- a/helm/matita/matitaLog.ml
+++ b/helm/matita/matitaLog.ml
@@ -53,6 +53,7 @@ let default_callback tag s =
 let callback = ref default_callback
 
 let set_log_callback f = callback := f
+let get_log_callback () = !callback
 
 let message s = !callback `Message s
 let warn s = !callback `Warning s