diff and sortedby implemented

[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 d3a57f7083766d2878c8879a45a76c7772d0c7ad..8c247687fff0ebff90906f19d6694a39ad407b9f 100644 (file)
--- 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