X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fdiff.mli;h=1cd9cf4decf52634e454ab9a61f78eb06fd93abb;hb=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;hp=8c247687fff0ebff90906f19d6694a39ad407b9f;hpb=f870fdd883e3380f77f260709d4cb76e9d5def2b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/diff.mli b/helm/ocaml/mathql_interpreter/diff.mli
index 8c247687f..1cd9cf4de 100644
--- a/helm/ocaml/mathql_interpreter/diff.mli
+++ b/helm/ocaml/mathql_interpreter/diff.mli
@@ -24,4 +24,4 @@
  *)
 
 val diff_ex :
- Mathql_semantics.result -> Mathql_semantics.result -> Mathql_semantics.result
+ MathQL.resource_set -> MathQL.resource_set -> MathQL.resource_set