]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/sortedby.ml
mathQL modified, stderr corrected to stdout im mathql_interpreter,
[helm.git] / helm / ocaml / mathql_interpreter / sortedby.ml
index d468ae2fce022c7b337f98d26ec56465eb33c277..177cf3c034369c70f4c2d819d0ccf91deb4b8a9c 100644 (file)
@@ -53,10 +53,10 @@ let sortedby_ex alist order afunc =
    let after = Unix.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
 ;;