new Gen constructor for interfacing a query generator

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

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 9c19f4a50f325fdab3648f531518dd29c785576c..884976fe575e514d8c4f4cd93fd83e77e7ba39c4 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -82,6 +82,7 @@ type query = Const of result
           | Select of avar * query * query
           | Let of svar * query * query
           | Fun of path * path list * query list
+          | Gen of path * query list
           | Add of bool * groups * query
           | For of gen * avar * query * query
           | Property of inverse * refine * path *