|
@@ -122,7 +122,7 @@ let dump_types com pretty =
|
|
|
);
|
|
|
close()
|
|
|
in
|
|
|
- Parallel.run_in_new_pool (fun pool ->
|
|
|
+ Parallel.run_in_new_pool com.timer_ctx (fun pool ->
|
|
|
Parallel.ParallelArray.iter pool f (Array.of_list com.types)
|
|
|
)
|
|
|
|
|
@@ -138,7 +138,7 @@ let dump_record com =
|
|
|
Buffer.add_string buf s;
|
|
|
close()
|
|
|
in
|
|
|
- Parallel.run_in_new_pool (fun pool ->
|
|
|
+ Parallel.run_in_new_pool com.timer_ctx (fun pool ->
|
|
|
Parallel.ParallelArray.iter pool f (Array.of_list com.types)
|
|
|
)
|
|
|
|
|
@@ -163,7 +163,7 @@ let dump_position com =
|
|
|
| _ ->
|
|
|
()
|
|
|
in
|
|
|
- Parallel.run_in_new_pool (fun pool ->
|
|
|
+ Parallel.run_in_new_pool com.timer_ctx (fun pool ->
|
|
|
Parallel.ParallelArray.iter pool f (Array.of_list com.types)
|
|
|
)
|
|
|
|