X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fintersect.ml;h=bf0d05c2c71454dd5aaad0e0be72472741009bc2;hb=5a8a7dd777c55a9907699a709760b0616b571919;hp=4152a280d926d3703d3d906cc29dc1bfc51d8e2f;hpb=f870fdd883e3380f77f260709d4cb76e9d5def2b;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/intersect.ml b/helm/ocaml/mathql_interpreter/intersect.ml
index 4152a280d..bf0d05c2c 100644
--- a/helm/ocaml/mathql_interpreter/intersect.ml
+++ b/helm/ocaml/mathql_interpreter/intersect.ml
@@ -119,9 +119,9 @@ let intersect_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
    ("INTERSECT(" ^ ll1 ^ "," ^ ll2 ^ ") = " ^ string_of_int (List.length res) ^
     ": " ^ diff ^ "s") ;
-  flush stderr ;
+  flush stdout ;
   res
 ;;