From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 5 Feb 2004 17:45:48 +0000 (+0000)
Subject: debug prints on stderr
X-Git-Tag: V_0_2_3~31
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a190039db6ffec0912f2a14086109b37396b5fdd;p=helm.git

debug prints on stderr
---

diff --git a/helm/ocaml/cic_proof_checking/cicReductionMachine.ml b/helm/ocaml/cic_proof_checking/cicReductionMachine.ml
index 4e92e6ebc..8c1c5017d 100644
--- a/helm/ocaml/cic_proof_checking/cicReductionMachine.ml
+++ b/helm/ocaml/cic_proof_checking/cicReductionMachine.ml
@@ -41,10 +41,7 @@ let debug t env s =
    CicPp.ppobj (C.Variable ("DEBUG", None, t, [])) ^ "\n" ^ i
  in
   if !fdebug = 0 then
-   begin
-    print_endline (s ^ "\n" ^ List.fold_right debug_aux (t::env) "") ;
-    flush stdout
-   end
+   prerr_endline (s ^ "\n" ^ List.fold_right debug_aux (t::env) "")
 ;;
 
 module type Strategy =