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

diff --git a/helm/ocaml/mathql_interpreter/union.mli b/helm/ocaml/mathql_interpreter/union.mli
index 967915d84..6b6ba6d27 100644
--- a/helm/ocaml/mathql_interpreter/union.mli
+++ b/helm/ocaml/mathql_interpreter/union.mli
@@ -23,4 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val union_ex : string list list -> string list list -> string list list
+val union_ex :
+ Mathql_semantics.result -> Mathql_semantics.result -> Mathql_semantics.result