]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/mqint.ml
intersect improved in speed
[helm.git] / helm / ocaml / mathql_interpreter / mqint.ml
index 56fa38ad928d0b9017ac58f0ebaad8b26d57f9f4..8aa07a36879bc5add524bff23822c9f9e2e38521 100644 (file)
@@ -77,7 +77,7 @@ let rec execute_ex q =
    |  MQUse (alist, asvar) ->
        use_ex (execute_ex alist) asvar "backPointer"
    |  MQPattern (apreamble, apattern, afragid) ->
-       let _ = print_endline ("*********" ^ (fi_to_string afragid)); flush stdout in
+       (*let _ = print_endline ("*********" ^ apreamble ^ (fi_to_string afragid)); flush stdout in*)
        pattern_ex apreamble apattern afragid
    |  MQUnion (l1, l2) ->
        union_ex (execute_ex l1) (execute_ex l2)