From 46efa18587accd9b5479e021f05ae6d1f2918037 Mon Sep 17 00:00:00 2001
From: lordi <??>
Date: Thu, 13 Jun 2002 17:13:05 +0000
Subject: [PATCH] added support for let in

---
 helm/ocaml/mathql/mathQL.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index d102e7301..85e085e2c 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -20,7 +20,7 @@
  * MA  02111-1307, USA.
  * 
  * For details, see the HELM World-Wide-Web page,
- * http://cs.unibo.it/helm/.
+ * http://www.cs.unibo.it/helm/.
  *)
 
 (******************************************************************************)
@@ -123,6 +123,8 @@ and mqlist =
    | MQSortedBy of mqlist * mqorder * mqfunc (*  *)
    | MQLRVar of mqrvar
    | MQDiff of mqlist * mqlist               (*  *)
+   | MQLetIn of mqrvar * mqlist
+   | MQLetRef of mqrvar
 
 type mquery =
    | MQList of mqlist
-- 
2.39.2