Added $Id$ to every .ml file.

[helm.git] / helm / ocaml / cic_proof_checking / cicLogger.ml

diff --git a/helm/ocaml/cic_proof_checking/cicLogger.ml b/helm/ocaml/cic_proof_checking/cicLogger.ml
index 28d7a8c2c86484337cd81c19f1c93c95bcf23517..5921c61b0cf7c47ba17c938f685e963a7fac791f 100644 (file)
--- 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