X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fdiff.ml;h=d522526914a0e02ea82bcbca4761928082a7d3c3;hb=b2d85dc2b14c7006280f328e62668c9ec4aa5a43;hp=5cba32345fcaa7702e9e75e8afd0a18701d605c4;hpb=837a0cfe2e7826f8cc8b68d73fee3e5e020539cc;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/diff.ml b/helm/ocaml/mathql_interpreter/diff.ml
index 5cba32345..d52252691 100644
--- a/helm/ocaml/mathql_interpreter/diff.ml
+++ b/helm/ocaml/mathql_interpreter/diff.ml
@@ -89,7 +89,7 @@ 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
-  print_endline
+  prerr_endline
    ("DIFF(" ^ ll1 ^ ", " ^ ll2 ^ ") = " ^ string_of_int (List.length res) ^
     ": " ^ diff ^ "s") ;
   flush stdout ;