After Union and Relation

[helm.git] / helm / ocaml / mathql_interpreter / diff.mli

diff --git a/helm/ocaml/mathql_interpreter/diff.mli b/helm/ocaml/mathql_interpreter/diff.mli
index 8c247687fff0ebff90906f19d6694a39ad407b9f..1cd9cf4decf52634e454ab9a61f78eb06fd93abb 100644 (file)
--- 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