From 7f2917db02431693ad9f3ff613ef329d89d42e6f Mon Sep 17 00:00:00 2001
From: Filip Koprivec <koprivec.filip@gmail.com>
Date: Fri, 23 Jul 2021 20:41:50 +0200
Subject: [PATCH] No flush

---
 misc/code-generation-benchmarks/generate-graphs/graphs.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/code-generation-benchmarks/generate-graphs/graphs.ml b/misc/code-generation-benchmarks/generate-graphs/graphs.ml
index ba5f61fa..908e6a10 100644
--- a/misc/code-generation-benchmarks/generate-graphs/graphs.ml
+++ b/misc/code-generation-benchmarks/generate-graphs/graphs.ml
@@ -69,7 +69,7 @@ let measure_benchmark_set
   in
   let measure_at_param param =
     print_int param;
-    flush_all ();
+    (* flush_all (); *)
     let benchmark_at_param =
       Test.make_grouped ~name:"" ~fmt:"%s%s"
         (List.map