No flush

matijapretnar · Jul 23, 2021 · 7f2917d · 7f2917d
1 parent 1fb5528
commit 7f2917d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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