rendering of "meet" patched

[helm.git] / helm / ocaml / mathql / mQueryUtil.ml

diff --git a/helm/ocaml/mathql/mQueryUtil.ml b/helm/ocaml/mathql/mQueryUtil.ml
index 2de8179327db4825a7cb6636122f0c41f23748f4..3b16bb6b046d22a383b9c2f6bd03b5190a7dc6ed 100644 (file)
--- 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 "