added support for let in

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index d102e730100deab17fca3672e92a0ac2b3f3a5ba..85e085e2c04c103c2dd982b6d9ad284645012dc2 100644 (file)
--- 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