X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmQueryUtil.ml;h=3b16bb6b046d22a383b9c2f6bd03b5190a7dc6ed;hb=1ade90b417bd1815dc502ab42de8688e72c1701b;hp=e4a29ffcfaa2c1392611e92de950c2ebd99c2ef1;hpb=19802b6487148ac232b560b43f131ffa679e4ee8;p=helm.git

diff --git a/helm/ocaml/mathql/mQueryUtil.ml b/helm/ocaml/mathql/mQueryUtil.ml
index e4a29ffcf..3b16bb6b0 100644
--- a/helm/ocaml/mathql/mQueryUtil.ml
+++ b/helm/ocaml/mathql/mQueryUtil.ml
@@ -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 "