Skip to content

Commit f899312

Browse files
committed
[Seedpool] remove unused
1 parent 77ea010 commit f899312

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/seedpool.ml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -336,14 +336,12 @@ let compute_init_cov seeds =
336336
EdgeCoverage.empty seeds
337337

338338
let make_pool_and_cov seeds =
339-
let open Coverage in
340339
let pool = create () in
341340
seeds |> List.to_seq |> add_seq pool;
342341
let init_cov = compute_init_cov seeds in
343342
(pool, init_cov)
344343

345344
let evaluate_seeds_and_construct_seedpool raw_seeds node_tbl distmap =
346-
let open AUtil in
347345
let open Coverage in
348346
if is_optimuzz_base () then
349347
let _, seeds = classify_seeds node_tbl distmap raw_seeds in

0 commit comments

Comments
 (0)