X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fintersect.mli;fp=helm%2Focaml%2Fmathql_interpreter%2Fintersect.mli;h=3b721b4f7ba2ccd58bfa88350c3353f69445a183;hb=7f510b2df638258669d6539861a3f06ed5fab773;hp=aee42c09c32ac648c1e7e41106ed516948fd35c2;hpb=9f45f8febfade5e1dca7a022154f2635be2af9b2;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