X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicEnvironment.ml;h=3a201ad696b387222cde6a466f62004425e0cc17;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=f63b1618c5e6f4db654571a08ea7ddf8829cd1a8;hpb=d1010e05c0d73e3b44d3d971592bd8be9e1e0752;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index f63b1618c..3a201ad69 100644
--- 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