X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_engine%2FgrafiteEngine.ml;fp=components%2Fgrafite_engine%2FgrafiteEngine.ml;h=409c0921aeb3f41b1876511fb95d2a2100921527;hb=a37b9f70260a625c93b148fd51b3314639c954ec;hp=dfe0c019f4833a06d2cf8fe309249455473b2ff5;hpb=8080b59026efcb6461512e5122fe94c03849d06d;p=helm.git

diff --git a/components/grafite_engine/grafiteEngine.ml b/components/grafite_engine/grafiteEngine.ml
index dfe0c019f..409c0921a 100644
--- a/components/grafite_engine/grafiteEngine.ml
+++ b/components/grafite_engine/grafiteEngine.ml
@@ -681,7 +681,7 @@ let rec eval_command = {ec_go = fun ~disambiguate_command opts status
      status,[]
   | GrafiteAst.Print (_,"proofterm") ->
       let _,_,_,p,_, _ = GrafiteTypes.get_current_proof status in
-      print_endline (Auto.pp_proofterm p);
+      prerr_endline (Auto.pp_proofterm p);
       status,[]
   | GrafiteAst.Print (_,_) -> status,[]
   | GrafiteAst.Qed loc ->