Attribute patched: now takes an extra argument of type bool.

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index d375d92afeac7ecf3971081247b8ad2dd5316e71..6d112c85b0adea087cc7e0b7b20ec77f6317e24e 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -78,7 +78,7 @@ and val_exp = Const of string list
            | Record of rvar * vvar
            | VVar of vvar
            | Fun of string * val_exp
-           | Attribute of refine_op * path * val_exp
+           | Attribute of refine_op * path * bool * val_exp
 
 type query = set_exp