added ocaml-http 0.0.1

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

diff --git a/helm/ocaml/mathql_interpreter/sortedby.ml b/helm/ocaml/mathql_interpreter/sortedby.ml
index 177cf3c034369c70f4c2d819d0ccf91deb4b8a9c..b9a05a00274e8846418be32c44c8f2f4b5f52837 100644 (file)
--- a/helm/ocaml/mathql_interpreter/sortedby.ml
+++ b/helm/ocaml/mathql_interpreter/sortedby.ml
@@ -35,7 +35,7 @@ open Utility;;
  * implementazione del comando SORTEDBY
  *)
 let sortedby_ex alist order afunc =
- let before = Unix.time () in
+ let before = Sys.time () in
   let res = 
    let module S = Mathql_semantics in
     (Sort.list
@@ -50,7 +50,7 @@ let sortedby_ex alist order afunc =
      )
     )
   in
-   let after = Unix.time ()
+   let after = Sys.time ()
    and ll1 = string_of_int (List.length alist) in
     let diff = string_of_float (after -. before) in
      print_endline