Merge of the new_mathql branch with the main branch:

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

diff --git a/helm/ocaml/mathql_interpreter/union.mli b/helm/ocaml/mathql_interpreter/union.mli
index 6b6ba6d2775c26e9cf9d434d09f5ffbdf7bf8692..6890bdb0c88f197a16edde3c2864a7b7102d695e 100644 (file)
--- a/helm/ocaml/mathql_interpreter/union.mli
+++ b/helm/ocaml/mathql_interpreter/union.mli
@@ -24,4 +24,4 @@
  *)
 
 val union_ex :
- Mathql_semantics.result -> Mathql_semantics.result -> Mathql_semantics.result
+MathQL.result -> MathQL.result -> MathQL.result