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 e4a29ffcfaa2c1392611e92de950c2ebd99c2ef1..3b16bb6b046d22a383b9c2f6bd03b5190a7dc6ed 100644 (file)
--- 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 "