X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.ml;h=3b16bb6b046d22a383b9c2f6bd03b5190a7dc6ed;hb=d9b059cc6ee460f5a0b0c606fd70241be49f0125;hp=2de8179327db4825a7cb6636122f0c41f23748f4;hpb=91db309a46f8b6f100a36abbc568deec10a8d1df;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryUtil.ml b/helm/ocaml/mathql/mQueryUtil.ml
index 2de817932..3b16bb6b0 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 *******************************************)
 
@@ -82,7 +82,7 @@ let text_of_query out x sep =
       | M.Or   -> out " or "
       | M.And  -> out " and "
       | M.Sub  -> out " sub "
-      | M.Meet -> out " eq "
+      | M.Meet -> out " meet "
       | M.Eq   -> out " eq "
       | M.Le   -> out " le "
       | M.Lt   -> out " lt "