textual parser: caml-like comments added (not nestable)

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

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 60b19297aa2e8581e0171e10f013cc5aa9b6a2d7..d375d92afeac7ecf3971081247b8ad2dd5316e71 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -66,7 +66,7 @@ type set_exp = SVar of svar
 and boole_exp = False
               | True
              | Not of boole_exp
-             | Ex of boole_exp
+             | Ex of rvar list * boole_exp   
              | And of boole_exp * boole_exp
              | Or of boole_exp * boole_exp
              | Sub of val_exp * val_exp