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

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

diff --git a/helm/ocaml/mathql_interpreter/use.ml b/helm/ocaml/mathql_interpreter/use.ml
index 654c3e69b16e046a4836f2630f18dfded67589d2..f5648cab1763c4ee957f9eb450c486d0c5130227 100644 (file)
--- a/helm/ocaml/mathql_interpreter/use.ml
+++ b/helm/ocaml/mathql_interpreter/use.ml
@@ -55,7 +55,7 @@ let relation_ex rop path rset attl =
  let usek = get_prop_id (List.hd path) in 
 
 let _ = print_string ("RELATION "^usek)
-and t = Unix.time () in
+and t = Sys.time () in
 let result =
  let c = pgc () in
   Sort.list
@@ -83,7 +83,7 @@ let result =
    )
 in
 print_string (" = " ^ string_of_int (List.length result) ^ ": ") ; 
-print_endline (string_of_float (Unix.time () -. t) ^ "s") ;
+print_endline (string_of_float (Sys.time () -. t) ^ "s") ;
 flush stdout ;
    result
 ;;