X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fdiff.mli;h=1cd9cf4decf52634e454ab9a61f78eb06fd93abb;hb=b1fb6b8e1767d775bc452303629e95941d142bea;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..1cd9cf4de 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.resource_set -> MathQL.resource_set -> MathQL.resource_set