Skip to content

Commit

Permalink
Rename single-domain to one domain
Browse files Browse the repository at this point in the history
This is because current-bench renders `single-domain` potentially on multiple
lines.
  • Loading branch information
polytypic committed Jan 6, 2024
1 parent 6827083 commit ee63d1f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion bench/bench_dllist.ml
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ let run_single ~budgetf ?(n_msgs = 15 * Util.iter_factor) () =

let times = Times.record ~n_domains:1 ~budgetf ~init ~work () in

let name metric = Printf.sprintf "%s/single-domain" metric in
let name metric = Printf.sprintf "%s/one domain" metric in

List.concat
[
Expand Down

0 comments on commit ee63d1f

Please sign in to comment.