renamed module "logger" to "cicLogger" to avoid confusion with user

[helm.git] / helm / ocaml / cic_proof_checking / cicEnvironment.ml

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index f63b1618c5e6f4db654571a08ea7ddf8829cd1a8..3a201ad696b387222cde6a466f62004425e0cc17 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -351,7 +351,7 @@ let is_type_checked ?(trust=true) uri =
     Cache.unchecked_to_frozen uri ;
     if trust && trust_obj uri then
      begin
-      Logger.log (`Trusting uri) ;
+      CicLogger.log (`Trusting uri) ;
       set_type_checking_info uri ;
       CheckedObj (Cache.find_cooked uri)
      end