X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_proof_checking%2FcicLogger.ml;h=5921c61b0cf7c47ba17c938f685e963a7fac791f;hb=489ee5290cce2247291b8c5c53b98d493e7f6b99;hp=28d7a8c2c86484337cd81c19f1c93c95bcf23517;hpb=7e735b7ba95f1bafc1256280e96be888dd373a86;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicLogger.ml b/helm/ocaml/cic_proof_checking/cicLogger.ml
index 28d7a8c2c..5921c61b0 100644
--- a/helm/ocaml/cic_proof_checking/cicLogger.ml
+++ b/helm/ocaml/cic_proof_checking/cicLogger.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 type msg =
  [ `Start_type_checking of UriManager.uri
  | `Type_checking_completed of UriManager.uri