From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 2 Jul 2003 17:34:09 +0000 (+0000)
Subject: rendering of "meet" patched
X-Git-Tag: camera_ready~22
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1ade90b417bd1815dc502ab42de8688e72c1701b;p=helm.git

rendering of "meet" patched
---

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 "