X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=270d1f9d0cd1eee283fc25bd6de052c656277835;hb=a877debee863033e33a0f7d497e253ad3b076477;hp=aaf16fac4c0c692c037eaa793b58c80a7c734622;hpb=259a4a2080cc5af5b20da1cd9133eb32f28c5d8f;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.ml b/helm/ocaml/mathql_interpreter/mQIConn.ml
index aaf16fac4..270d1f9d0 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 type connection = MySQL_C    of HMysql.dbd
                 | Postgres_C of Postgres.connection
 		| No_C