diff --git a/src/future.ml b/src/future.ml index 4b453d4f..527c202b 100644 --- a/src/future.ml +++ b/src/future.ml @@ -388,7 +388,7 @@ module Scheduler = struct (Ansi_color.strip_colors_for_stderr output); die "" | WSIGNALED n -> - Printf.eprintf "\n@{Command@} [@{%d@}] got signal %s:\n\ + Format.eprintf "\n@{Command@} [@{%d@}] got signal %s:\n\ @{$@} %s\n%s%!" job.id (signal_name n) (Ansi_color.strip_colors_for_stderr job.command_line)