From afc4f7675ce78aa286f0be0889b5e91612d50722 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 17 Dec 2003 14:11:32 +0000
Subject: [PATCH] s/Logger/CicLogger/

---
 helm/proofChecker/proofChecker.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.39.2