* Part of matita that used to deal with the library moved into ocaml/library

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

diff --git a/helm/matita/matitaGuiTypes.mli b/helm/matita/matitaGuiTypes.mli
index 99b90495f15de3eb0fdbecc5d9079989fe68c020..52dca43f729283a165acf531dae9a1cb2b17f490 100644 (file)
--- a/helm/matita/matitaGuiTypes.mli
+++ b/helm/matita/matitaGuiTypes.mli
@@ -31,7 +31,7 @@ object
   method debug: string -> unit
   method clear: unit -> unit
 
-  method log_callback: MatitaLog.log_callback
+  method log_callback: HLog.log_callback
 end
 
 class type browserWin =