X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Funion.mli;h=6890bdb0c88f197a16edde3c2864a7b7102d695e;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=6b6ba6d2775c26e9cf9d434d09f5ffbdf7bf8692;hpb=7f510b2df638258669d6539861a3f06ed5fab773;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/union.mli b/helm/ocaml/mathql_interpreter/union.mli
index 6b6ba6d27..6890bdb0c 100644
--- 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