mathQL modified, stderr corrected to stdout im mathql_interpreter,

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

diff --git a/helm/ocaml/mathql_interpreter/diff.ml b/helm/ocaml/mathql_interpreter/diff.ml
index b32468e40721e5b4637025f29b7636801c53bd9d..e2eea1bc1e8025f70f75d6a5bc409d99f1c14dea 100644 (file)
--- a/helm/ocaml/mathql_interpreter/diff.ml
+++ b/helm/ocaml/mathql_interpreter/diff.ml
@@ -75,10 +75,10 @@ let diff_ex l1 l2 =
   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
-  prerr_endline
+  print_endline
    ("DIFF(" ^ ll1 ^ ", " ^ ll2 ^ ") = " ^ string_of_int (List.length res) ^
     ": " ^ diff ^ "s") ;
-  flush stderr ;
+  flush stdout ;
   res
 ;;