X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.ml;h=a51242bef323373ca38be15b6efdda5c4d0d338b;hb=21bf57e0b7de37faa4991e136cf6f09cfbf4d0a3;hp=1de6663e4a36369deaf5737d2e4b22eabca276bc;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.ml b/helm/ocaml/mathql_interpreter/mQIConn.ml
index 1de6663e4..a51242bef 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.ml
+++ b/helm/ocaml/mathql_interpreter/mQIConn.ml
@@ -23,6 +23,9 @@
  * http://cs.unibo.it/helm/.
  *)
 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
 type flag = Postgres | Galax | Stat | Quiet | Warn | Log
 
 type handle = {log : string -> unit;            (* logging function    *)