From a190039db6ffec0912f2a14086109b37396b5fdd Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 5 Feb 2004 17:45:48 +0000 Subject: [PATCH] debug prints on stderr --- helm/ocaml/cic_proof_checking/cicReductionMachine.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) 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 = -- 2.39.2