From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 17 Dec 2003 14:11:32 +0000 (+0000)
Subject: s/Logger/CicLogger/
X-Git-Tag: V_0_5_1_3~57
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=afc4f7675ce78aa286f0be0889b5e91612d50722;p=helm.git

s/Logger/CicLogger/
---

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