X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicLogger.mli;fp=helm%2Focaml%2Fcic_proof_checking%2FcicLogger.mli;h=848b30573cce84d618929e1f1db4ddb81a670df8;hb=98295941bee765a0cb4070eb3f2df553228c11c8;hp=781abdef6e9a7b6275e14935df9336ddb3cf0a31;hpb=fe1e7e151af9690f312259a4c1c969a1388bee5f;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicLogger.mli b/helm/ocaml/cic_proof_checking/cicLogger.mli
index 781abdef6..848b30573 100644
--- a/helm/ocaml/cic_proof_checking/cicLogger.mli
+++ b/helm/ocaml/cic_proof_checking/cicLogger.mli
@@ -28,13 +28,6 @@ type msg =
  | `Type_checking_completed of UriManager.uri
  | `Trusting of UriManager.uri
  ]
-;;
 
-(* A callback that can be used to log to html *)
-val log_to_html : print_and_flush:(string -> unit) -> msg -> unit
+val log: msg -> unit
 
-(* The log function used. The default does nothing. *)
-val log_callback : (msg -> unit) ref
-
-(* Log something via log_callback *)
-val log : msg -> unit