X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIUtil.mli;h=76735a86342c3c9c028372db5099da028fb8ad65;hb=6cf989363e4b92e47a5385ae4f01e77c5bbe4553;hp=c294832c8e02b1b0a050ccc02b99612d2e150c09;hpb=1ade90b417bd1815dc502ab42de8688e72c1701b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.mli b/helm/ocaml/mathql_interpreter/mQIUtil.mli
index c294832c8..76735a863 100644
--- a/helm/ocaml/mathql_interpreter/mQIUtil.mli
+++ b/helm/ocaml/mathql_interpreter/mQIUtil.mli
@@ -38,6 +38,8 @@ val set_eq        : MathQL.value -> MathQL.value -> MathQL.value
 
 val set_union     : 'a list -> 'a list -> 'a list
 
+val set_intersect : 'a list -> 'a list -> 'a list
+
 val mql_union     : ('a * 'b list) list -> ('a * 'b list) list -> 
                     ('a * 'b list) list