Pattern module added.

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

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index bee3bd765e4ba1efda37623e06cfd5751a023309..00f6b1c271bde58f3add94cf595b41c3e8eb0bd8 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -43,7 +43,7 @@ open Diff;;
 open Relation;;
 open Func;;
 open Attribute;;
-
+open Pattern;;
 
 exception BooleExpTrue
 
@@ -79,6 +79,7 @@ let rec exec_set_exp c = function
      MathQL.SVar svar -> List.assoc svar c.svars
    | MathQL.RVar rvar -> [List.assoc rvar c.rvars]  
    | MathQL.Ref vexp -> List.map (fun s -> (s,[])) (exec_val_exp c vexp)
+   | MathQL.Pattern vexp -> pattern_ex (exec_val_exp c vexp)
    | MathQL.Intersect (sexp1, sexp2) ->    
         let before = Sys.time() in
        let rs1 = exec_set_exp c sexp1 in