X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql%2FmathQL.ml;h=61a7646aa6261d842ff07fa38e8fd84906f04f27;hb=fb7df84a9ffea7a67817b303a1d6983fb52e963d;hp=04eb3b32d30e7900e854dd2cec055d81f5bcc346;hpb=9ee9af7b1b537f0ff921b4936bd5a248fac72e6d;p=helm.git

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index 04eb3b32d..61a7646aa 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -68,11 +68,13 @@ type refine = RefineExact
             | RefineSub
 	    | RefineSuper
 
+type assign = path * path 
+
 type set_exp = SVar of svar
 	     | RVar of rvar
              | Ref of val_exp
              | Pattern of val_exp
-	     | Relation of inverse * refine * path * set_exp * string list
+	     | Relation of inverse * refine * path * set_exp * assign list
              | Select of rvar * set_exp * boole_exp
 	     | Union of set_exp * set_exp
 	     | Intersect of set_exp * set_exp
@@ -94,7 +96,7 @@ and val_exp = Const of string list
             | RefOf of set_exp 
 	    | Record of rvar * path
 	    | VVar of vvar
-	    | Attribute of inverse * refine * path * val_exp
+	    | Property of inverse * refine * path * val_exp
 	    | Fun of string * val_exp
 
 type query = set_exp