X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2Flogger.mli;h=781abdef6e9a7b6275e14935df9336ddb3cf0a31;hb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;hp=c5e74ec9069af1d22c39996b409b2909d64be792;hpb=5b2c666a48028daeba3fe6692e6ad3e14cad0a42;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/logger.mli b/helm/ocaml/cic_proof_checking/logger.mli
index c5e74ec90..781abdef6 100644
--- a/helm/ocaml/cic_proof_checking/logger.mli
+++ b/helm/ocaml/cic_proof_checking/logger.mli
@@ -26,6 +26,7 @@
 type msg =
  [ `Start_type_checking of UriManager.uri
  | `Type_checking_completed of UriManager.uri
+ | `Trusting of UriManager.uri
  ]
 ;;