X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_test%2FmQGTopParser.mly;h=8aa01b6c4af0ceb53d50bd508a900ba4fa3000d2;hb=02f8929bd58c6408545b550bcad0edb8702ca933;hp=9fd70a033177100a8de150470e100abb4a2f05a2;hpb=48b9bb5e9504aba97cff28a9d7e2797feb42972e;p=helm.git

diff --git a/helm/ocaml/mathql_test/mQGTopParser.mly b/helm/ocaml/mathql_test/mQGTopParser.mly
index 9fd70a033..8aa01b6c4 100644
--- a/helm/ocaml/mathql_test/mQGTopParser.mly
+++ b/helm/ocaml/mathql_test/mQGTopParser.mly
@@ -23,6 +23,10 @@
  * http://cs.unibo.it/helm/.
  */
 
+/*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ */
+
+
 %{
    let f (x, y, z) = x
    let s (x, y, z) = y