X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryTParser.mly;h=707b7dd6c22a54e43b169d3c9a07a058aca13918;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=313636c80d13327489bf4c8ade0da24f500496ef;hpb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;p=helm.git diff --git a/helm/ocaml/mathql/mQueryTParser.mly b/helm/ocaml/mathql/mQueryTParser.mly index 313636c80..707b7dd6c 100644 --- a/helm/ocaml/mathql/mQueryTParser.mly +++ b/helm/ocaml/mathql/mQueryTParser.mly @@ -23,7 +23,7 @@ * http://cs.unibo.it/helm/. */ -/* AUTOR: Ferruccio Guidi +/* */ %{