X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fsortedby.ml;h=b9a05a00274e8846418be32c44c8f2f4b5f52837;hb=eddba0cc1b08d5d787793095c5fb0d39ee5ec2f7;hp=d468ae2fce022c7b337f98d26ec56465eb33c277;hpb=f870fdd883e3380f77f260709d4cb76e9d5def2b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/sortedby.ml b/helm/ocaml/mathql_interpreter/sortedby.ml
index d468ae2fc..b9a05a002 100644
--- 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,13 +50,13 @@ 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
-     prerr_endline
+     print_endline
       ("SORTEDBY(" ^ ll1 ^ ") = " ^ string_of_int (List.length res) ^
        ": " ^ diff ^ "s") ;
-     flush stderr ;
+     flush stdout ;
      res
 ;;