X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fmathql_interpreter%2Fdiff.mli;h=8c247687fff0ebff90906f19d6694a39ad407b9f;hb=fb4f3bb1bafb5d5541a777758b4074ee8e2de4ae;hp=d3a57f7083766d2878c8879a45a76c7772d0c7ad;hpb=8abd42ec1af0d5daef1d026ec550b49b07de8340;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/diff.mli b/helm/ocaml/mathql_interpreter/diff.mli
index d3a57f708..8c247687f 100644
--- a/helm/ocaml/mathql_interpreter/diff.mli
+++ b/helm/ocaml/mathql_interpreter/diff.mli
@@ -23,4 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val diff_ex : string list list -> string list list -> string list list
+val diff_ex :
+ Mathql_semantics.result -> Mathql_semantics.result -> Mathql_semantics.result