X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fhmysql%2FhMysql.ml;h=94f3efe03fb97b2bc80f596534fbc3878aebb92d;hb=57d038849d866853795522e360723a881c2d4831;hp=c7bfb325e5c2d1951a26ef68d1d257e7f78fb730;hpb=7b58e5e53289dac4f2b3c9e66d88de1e013f0bae;p=helm.git

diff --git a/helm/ocaml/hmysql/hMysql.ml b/helm/ocaml/hmysql/hMysql.ml
index c7bfb325e..94f3efe03 100644
--- a/helm/ocaml/hmysql/hMysql.ml
+++ b/helm/ocaml/hmysql/hMysql.ml
@@ -23,6 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(* $Id$ *)
+
 type dbd = Mysql.dbd option 
 type result = Mysql.result option
 type error_code = Mysql.error_code