From d4b04bd042eee89f34c2a9607ccaaedd56366c03 Mon Sep 17 00:00:00 2001
From: malc <av1474@comtv.ru>
Date: Fri, 27 Jan 2012 00:38:01 +0400
Subject: [PATCH] Do not use excessive force

---
 main.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/main.ml b/main.ml
index 5c8ac21..a9b29f1 100644
--- a/main.ml
+++ b/main.ml
@@ -510,7 +510,8 @@ let vlog fmt =
 module G =
 struct
   let postRedisplay who =
-    vlog "redisplay for %s" who;
+    if conf.verbose
+    then prerr_endline ("redisplay for " ^ who);
     Glut.postRedisplay ();
   ;;
 end;;
-- 
2.11.4.GIT