From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sat, 14 Sep 2002 13:50:10 +0000 (+0000)
Subject: attr_list changed in vvar_list
X-Git-Tag: new_mathql_before_first_merge~40
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7646d66b5a68ad83611e19ac2634c86c16bc7d21;p=helm.git

attr_list changed in vvar_list
---

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index a24dc4ed8..ed6abf54f 100644
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -47,13 +47,13 @@ type refine_op = ExactOp
                | SubOp
 	       | SuperOp
 
-type attr_list = vvar list
+type vvar_list = vvar list
 
 type set_exp = SVar of svar
 	     | RVar of rvar
              | Ref of val_exp
              | Pattern of val_exp
-	     | Relation of refine_op * string * set_exp * attr_list
+	     | Relation of refine_op * string * set_exp * vvar_list
              | Select of rvar * set_exp * boole_exp
 	     | Union of set_exp * set_exp
 	     | Intersect of set_exp * set_exp