X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.ml;h=5529baa71e06b5ebbb9d73a439009ccd0b6dfabe;hb=e626927b4c1c77bdcd6b545203a0a9c17a9ff136;hp=7c9c0f150a1a5068138b3aee594e75a54c88d29a;hpb=37adb260bc671a4615e2b3fa9fb1ae44999747d0;p=helm.git

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 7c9c0f150..5529baa71 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -94,8 +94,8 @@ let callback (req : Http_types.request) outchan =
   match req#path with
   | "/proofCheck" ->
       begin
-        Logger.log_callback :=
-          (Logger.log_to_html
+        CicLogger.log_callback :=
+          (CicLogger.log_to_html
             ~print_and_flush:(fun s -> fprintf outchan "%s" s; flush outchan));
         try
           let uri = req#param "uri" in