From 1ade90b417bd1815dc502ab42de8688e72c1701b Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 2 Jul 2003 17:34:09 +0000
Subject: [PATCH] rendering of "meet" patched

---
 helm/ocaml/mathql/mQueryUtil.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 "
-- 
2.39.2