patched and improved

[helm.git] / helm / ocaml / mathql_interpreter / mQIUtil.ml

diff --git a/helm/ocaml/mathql_interpreter/mQIUtil.ml b/helm/ocaml/mathql_interpreter/mQIUtil.ml
index f80fefeec759b0a0c7ec0c50801c5da8f8da7cb3..67df606d18741e0058f8bb682d14cfef08abccf2 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mQIUtil.ml
+++ b/helm/ocaml/mathql_interpreter/mQIUtil.ml
@@ -78,6 +78,8 @@ let rec iter f = function
 
 (* MathQL specific set operations  ******************************************)
 
+let mql_subj v = List.map (fun s -> (s, [])) v
+
 let rec mql_union s1 s2 =
    match s1, s2 with
       | [], s                                     -> s