structurated attribute names added

[helm.git] / helm / ocaml / mathql_interpreter / attribute.mli

diff --git a/helm/ocaml/mathql_interpreter/attribute.mli b/helm/ocaml/mathql_interpreter/attribute.mli
index 149d6fcff3cca39de58528636bdab3c8a0778d9c..841db1b48e79a0cea882a64fc6dd11483011fd26 100644 (file)
--- a/helm/ocaml/mathql_interpreter/attribute.mli
+++ b/helm/ocaml/mathql_interpreter/attribute.mli
@@ -23,5 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val attribute_ex: MathQL.refine_op -> MathQL.path -> bool -> MathQL.value -> MathQL.value
+val attribute_ex: MathQL.refine -> MathQL.path -> bool -> MathQL.value -> MathQL.value