X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fintersect.mli;h=3b721b4f7ba2ccd58bfa88350c3353f69445a183;hb=7646d66b5a68ad83611e19ac2634c86c16bc7d21;hp=aee42c09c32ac648c1e7e41106ed516948fd35c2;hpb=8abd42ec1af0d5daef1d026ec550b49b07de8340;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/intersect.mli b/helm/ocaml/mathql_interpreter/intersect.mli
index aee42c09c..3b721b4f7 100644
--- a/helm/ocaml/mathql_interpreter/intersect.mli
+++ b/helm/ocaml/mathql_interpreter/intersect.mli
@@ -23,4 +23,5 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val intersect_ex : string list list -> string list list -> string list list
+val intersect_ex :
+ Mathql_semantics.result -> Mathql_semantics.result -> Mathql_semantics.result