Camera ready.

[helm.git] / helm / ocaml / cic_proof_checking / logger.mli

diff --git a/helm/ocaml/cic_proof_checking/logger.mli b/helm/ocaml/cic_proof_checking/logger.mli
index c5e74ec9069af1d22c39996b409b2909d64be792..781abdef6e9a7b6275e14935df9336ddb3cf0a31 100644 (file)
--- 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
  ]
 ;;