diff --git a/src/lib_shell/worker.ml b/src/lib_shell/worker.ml index b237df871..1c41211ae 100644 --- a/src/lib_shell/worker.ml +++ b/src/lib_shell/worker.ml @@ -490,7 +490,7 @@ module Make end >>= function | Ok () -> loop () - | Error [Canceled | Exn Lwt_pipe.Closed | Exn Lwt_dropbox.Closed ] -> + | Error [Canceled | Exn Lwt.Canceled | Exn Lwt_pipe.Closed | Exn Lwt_dropbox.Closed ] -> Logger.lwt_log_notice "@[Worker terminated [%a] @]" Name.pp w.name >>= fun () ->