X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmathQL.ml;h=8ba562ab210648bea3c44a2c8cce9b9fd883093c;hb=efdc3184ccd0738fe48aa0056fc444fba23329e8;hp=9c19f4a50f325fdab3648f531518dd29c785576c;hpb=5bef9ac5a9bfe07b11ce0e44fab51ea4b6eb4057;p=helm.git

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 9c19f4a50..8ba562ab2 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -80,10 +80,12 @@ type query = Const of result
 	   | Dot of avar * path
 	   | Ex of avar list * query
 	   | Select of avar * query * query
-	   | Let of svar * query * query
+	   | Let of svar option * 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
+	   | While of gen * query * query
 	   | Property of inverse * refine * path * 
 	                 main * istrue * isfalse list * exp_list *
 	                 pattern * query