X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fuse.mli;h=a8186b40a5f9538e104f38d7e4c14a758581a95f;hb=7f510b2df638258669d6539861a3f06ed5fab773;hp=708c134c9462134a500d0b628c325f53edf0c02c;hpb=9f45f8febfade5e1dca7a022154f2635be2af9b2;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/use.mli b/helm/ocaml/mathql_interpreter/use.mli
index 708c134c9..a8186b40a 100644
--- a/helm/ocaml/mathql_interpreter/use.mli
+++ b/helm/ocaml/mathql_interpreter/use.mli
@@ -23,4 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val use_ex : string list list -> string -> string -> string list list
+val use_ex :
+ Mathql_semantics.result -> Mathql.mqsvar -> string -> Mathql_semantics.result