s/Logger/CicLogger/

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 7c9c0f150a1a5068138b3aee594e75a54c88d29a..5529baa71e06b5ebbb9d73a439009ccd0b6dfabe 100644 (file)
--- 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