X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmathQL.ml;h=8ba562ab210648bea3c44a2c8cce9b9fd883093c;hb=a32bcc14672dae13e8bb725e54c819958dfdb677;hp=884976fe575e514d8c4f4cd93fd83e77e7ba39c4;hpb=b11baedbb4708305eb9a290dc5846e7c62e310f4;p=helm.git

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 884976fe5..8ba562ab2 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -80,11 +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