parser and pretty printer corrected and tested

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

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 5ccdf79d77440f0e30f91c3c239f8903bf53b462..b424d110b56bc8247b6fa8b750487668bf603842 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -74,7 +74,7 @@ and boole_exp = False
 and val_exp = Const of string list 
             | RefOf of set_exp 
            | Record of rvar * vvar
-           | VVar of string
+           | VVar of vvar
            | Fun of string * val_exp
            | Attribute of refine_op * string * val_exp