X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIPostgres.ml;h=bef07230fb3766938fd46091fb439490c8b4df0f;hb=9262517c80e17d46b9bf9931dc879ac653a633e9;hp=916f787321daf86eada1f1224d1cd0be2efcc383;hpb=52f0f77f24e6a1dfd2a1b277d6ade218039ba574;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIPostgres.ml b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
index 916f78732..bef07230f 100644
--- a/helm/ocaml/mathql_interpreter/mQIPostgres.ml
+++ b/helm/ocaml/mathql_interpreter/mQIPostgres.ml
@@ -26,6 +26,8 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+(* $Id$ *)
+
 let init () =
    let connection_string =
       Helm_registry.get "mathql_interpreter.postgresql_connection_string"