X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Ffunc.mli;h=2858ce0daffef5739fbff29ad7f3baac52486b1a;hb=311eb844354a9e182e037eb1f6bc96e7d6c1a73e;hp=5e9d77ff375e991dda37609824cfb59fff34a57e;hpb=8abd42ec1af0d5daef1d026ec550b49b07de8340;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/func.mli b/helm/ocaml/mathql_interpreter/func.mli
index 5e9d77ff3..2858ce0da 100644
--- a/helm/ocaml/mathql_interpreter/func.mli
+++ b/helm/ocaml/mathql_interpreter/func.mli
@@ -23,4 +23,4 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val apply_func: Mathql.mqfunc -> string -> string
+val fun_ex: string -> MathQL.value -> MathQL.value