X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flogger%2FhelmLogger.ml;h=c41674754fea271f1f9d6d38a3913089fa8bb599;hb=5104e38ee747fd1052ce21f3f9f2ecc778d590ba;hp=7a1e63483e76e6d319d54b0a5f46773fd925d69d;hpb=57af26570f0925769d943e37a0c5f26acd8e3255;p=helm.git

diff --git a/helm/ocaml/logger/helmLogger.ml b/helm/ocaml/logger/helmLogger.ml
index 7a1e63483..c41674754 100644
--- a/helm/ocaml/logger/helmLogger.ml
+++ b/helm/ocaml/logger/helmLogger.ml
@@ -1,3 +1,4 @@
+(* $Id$ *)
 
 open Printf