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