X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.ml;h=e4a29ffcfaa2c1392611e92de950c2ebd99c2ef1;hb=931f10c61b4e3914474955a94a05cf43b5fa2bc0;hp=2de8179327db4825a7cb6636122f0c41f23748f4;hpb=210445db4d7f550bbfac3e2db6d0aefcf02b71d4;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryUtil.ml b/helm/ocaml/mathql/mQueryUtil.ml
index 2de817932..e4a29ffcf 100644
--- a/helm/ocaml/mathql/mQueryUtil.ml
+++ b/helm/ocaml/mathql/mQueryUtil.ml
@@ -23,8 +23,8 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*
- *) 
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
 
 (* text linearization and parsing *******************************************)