mathQL and mqint updated

[helm.git] / helm / ocaml / mathql / mathQL.ml

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 90d17c553a76f3cc7e8b93c1a6ffde6ff2a76b8b..82ab6f9da3bec59495864f787ecdf15928d37ed4 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -115,8 +115,8 @@ type mqbool =
    | MQSubset of mqlist * mqlist   (* the two lists denote two sets, the 1st subset of the 2nd *)
 
 and mqlist =
-   | MQReference of mqref                    (* reference *)
-   | MQPattern of mqtref                     (* pattern *)
+   | MQReference of mqref list               (* reference list *)
+   | MQPattern of mqtref list                (* pattern list *)
    | MQListLVar of mqlvar                    (* lvar *)
    | MQListRVar of mqrvar                    (* rvar *)
    | MQSelect of mqrvar * mqlist * mqbool    (* rvar, list, boolean *)