From 9f9df9af1864d27afdcae6b276a902156a7daf25 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 29 Oct 2023 21:12:59 -0400 Subject: [PATCH] remove dead code --- src/ws_pool.ml | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ws_pool.ml b/src/ws_pool.ml index 4623a3e3..a60bf270 100644 --- a/src/ws_pool.ml +++ b/src/ws_pool.ml @@ -57,7 +57,6 @@ let[@inline] try_wake_someone_ (self : state) : unit = (** Run [task] as is, on the pool. *) let schedule_task_ (self : state) (w : worker_state option) (task : task) : unit = - (* Printf.printf "schedule task now (%d)\n%!" (Thread.id @@ Thread.self ()); *) match w with | Some w -> let pushed = WSQ.push w.q task in @@ -84,7 +83,6 @@ let schedule_task_ (self : state) (w : worker_state option) (task : task) : unit (** Run this task, now. Must be called from a worker. *) let run_task_now_ (self : state) ~runner task : unit = - (* Printf.printf "run task now (%d)\n%!" (Thread.id @@ Thread.self ()); *) let (AT_pair (before_task, after_task)) = self.around_task in let _ctx = before_task runner in (* run the task now, catching errors *)