From 8f78118ff5a2c05b1e7535e8237629847d35695d Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Wed, 8 Mar 2017 15:13:21 +0000 Subject: [PATCH] Fix error message printing format syntax --- src/future.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)