Skip to content

Commit 7f2917d

Browse files
committed
No flush
1 parent 1fb5528 commit 7f2917d

File tree

1 file changed

+1
-1
lines changed
  • misc/code-generation-benchmarks/generate-graphs

1 file changed

+1
-1
lines changed

misc/code-generation-benchmarks/generate-graphs/graphs.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -69,7 +69,7 @@ let measure_benchmark_set
6969
in
7070
let measure_at_param param =
7171
print_int param;
72-
flush_all ();
72+
(* flush_all (); *)
7373
let benchmark_at_param =
7474
Test.make_grouped ~name:"" ~fmt:"%s%s"
7575
(List.map

0 commit comments

Comments
 (0)