X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicLogger.ml;h=6867b8b928314bbbc73226610f30d4a5714a7185;hb=9c1286710e47652a4e070bcfc6b39b7303f069f9;hp=9fc983fc7fec8e9588dd68efc7b28f48491a30f8;hpb=d70688ca1e1bcefc463d3397c6da77b40d055c85;p=helm.git diff --git a/helm/ocaml/cic_proof_checking/cicLogger.ml b/helm/ocaml/cic_proof_checking/cicLogger.ml index 9fc983fc7..6867b8b92 100644 --- a/helm/ocaml/cic_proof_checking/cicLogger.ml +++ b/helm/ocaml/cic_proof_checking/cicLogger.ml @@ -28,39 +28,17 @@ type msg = | `Type_checking_completed of UriManager.uri | `Trusting of UriManager.uri ] -;; -let log_to_html ~print_and_flush = +let log = let module U = UriManager in - let indent = ref 0 in - let mkindent () = - String.make !indent ' ' - in function | `Start_type_checking uri -> - print_and_flush ( - mkindent () ^ - "