]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/mathql_interpreter/union.ml
debian release -3
[helm.git] / helm / ocaml / mathql_interpreter / union.ml
index 2e83b7a7df4f8b9537ca98addbd238899d3a50d1..c8e46cd0b8ee991c8f324c6b99b4464f67514d0f 100644 (file)
@@ -133,7 +133,7 @@ let union_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 ("UNION(" ^ ll1 ^ "," ^ ll2 ^ "): " ^ diff ^ "s") ;
-  flush stderr ;
+  print_endline ("UNION(" ^ ll1 ^ "," ^ ll2 ^ "): " ^ diff ^ "s") ;
+  flush stdout ;
   res
 ;;