X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fattribute.mli;h=841db1b48e79a0cea882a64fc6dd11483011fd26;hb=856dc227c9781439a31d03f5b68d32a41db63ab9;hp=149d6fcff3cca39de58528636bdab3c8a0778d9c;hpb=ba64642ca7771cd9cc7b9f73476c8f608ffeeda5;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/attribute.mli b/helm/ocaml/mathql_interpreter/attribute.mli
index 149d6fcff..841db1b48 100644
--- 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