the db connection parameters are now parametrized istead of hard-coded

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

diff --git a/helm/ocaml/mathql_interpreter/union.ml b/helm/ocaml/mathql_interpreter/union.ml
index a02fbd0f5f417a054a9dbf07961f3ab3b828763f..35999170c830cd9cc073a2d9af32660fbc269b7f 100644 (file)
--- a/helm/ocaml/mathql_interpreter/union.ml
+++ b/helm/ocaml/mathql_interpreter/union.ml
@@ -128,9 +128,9 @@ let rec union_ex rs1 rs2 =
 ;;
 
 let union_ex l1 l2 =
- let before = Unix.time () in
+ let before = Sys.time () in
  let res = union_ex l1 l2 in
- let after = Unix.time () in
+ let after = Sys.time () in
   let ll1 = string_of_int (List.length l1) in
   let ll2 = string_of_int (List.length l2) in
   let diff = string_of_float (after -. before) in