X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmathQL.ml;h=884976fe575e514d8c4f4cd93fd83e77e7ba39c4;hb=605740107642920d90d0c88544d576d7836a1a25;hp=9c19f4a50f325fdab3648f531518dd29c785576c;hpb=2f140ccb97dd271c280894e6a038ac0ebcf0bb71;p=helm.git

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 9c19f4a50..884976fe5 100644
--- 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 *