a small correction to mathQL.ml

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

diff --git a/helm/ocaml/mathql/mathQL.ml b/helm/ocaml/mathql/mathQL.ml
index ee10c6acf726ade5d5e664a6b93e186ff1767351..e37b03d7ca9ce90e8a7d81ce112093a29c011c33 100644 (file)
--- a/helm/ocaml/mathql/mathQL.ml
+++ b/helm/ocaml/mathql/mathQL.ml
@@ -47,7 +47,7 @@ type refine_op = Exact
                | Sub
               | Super
 
-type attr_list = string list
+type attr_list = vvar list
 
 type set_exp = SVar of svar
             | RVar of rvar