From 2919e4a927a4574a28012ae4ba9523e01fed1360 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 26 Dec 2014 15:04:02 +0100
Subject: coqchk: flush the pp buffer from time to time

---
 checker/mod_checking.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'checker/mod_checking.ml')

diff --git a/checker/mod_checking.ml b/checker/mod_checking.ml
index 521d9e3ee9..9e61d3491e 100644
--- a/checker/mod_checking.ml
+++ b/checker/mod_checking.ml
@@ -24,7 +24,7 @@ let refresh_arity ar =
     | _ -> ar, Univ.empty_constraint
 
 let check_constant_declaration env kn cb =
-  Flags.if_verbose ppnl (str "  checking cst: " ++ prcon kn);
+  Flags.if_verbose ppnl (str "  checking cst: " ++ prcon kn); pp_flush ();
   let env' = add_constraints (Univ.UContext.constraints cb.const_universes) env in
   let envty, ty = 
     match cb.const_type with
-- 
cgit v1.2.3