From 7646d66b5a68ad83611e19ac2634c86c16bc7d21 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sat, 14 Sep 2002 13:50:10 +0000 Subject: [PATCH] attr_list changed in vvar_list --- helm/ocaml/mathql/mathQL.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.2