X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIMySql.ml;h=3380e1f1f28518602cb773691f6bbe77092d442e;hb=b1bad322d0daf6c25f95a82c4349f057a753ab7c;hp=46f350e210dc25169ccb5c7f49e018d9ef520c70;hpb=259a4a2080cc5af5b20da1cd9133eb32f28c5d8f;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIMySql.ml b/helm/ocaml/mathql_interpreter/mQIMySql.ml
index 46f350e21..3380e1f1f 100644
--- a/helm/ocaml/mathql_interpreter/mQIMySql.ml
+++ b/helm/ocaml/mathql_interpreter/mQIMySql.ml
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 let init () =
  let module HR = Helm_registry in
    let host =