From 45a07d534faf6bdc4fb35e56b013db6fb73305e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Henry?= Date: Wed, 17 Oct 2018 10:19:27 +0200 Subject: [PATCH] Shell: fix error messages --- src/lib_shell/worker.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/lib_shell/worker.ml b/src/lib_shell/worker.ml index 8ec17ea09..514d0d2ea 100644 --- a/src/lib_shell/worker.ml +++ b/src/lib_shell/worker.ml @@ -527,7 +527,7 @@ module Make let id_name = if name_s = "" then base_name else Format.asprintf "%s(%d)" base_name id in if Hashtbl.mem table.instances name then - invalid_arg (Format.asprintf "Lwt_worker.launch: duplicate worker %s" full_name) ; + invalid_arg (Format.asprintf "Worker.launch: duplicate worker %s" full_name) ; let canceler = Lwt_canceler.create () in let buffer : kind buffer = match table.buffer_kind with @@ -577,13 +577,13 @@ module Make | None, Launching _ -> invalid_arg (Format.asprintf - "Lwt_worker.state (%s[%a]): \ + "Worker.state (%s[%a]): \ state called before worker was initialized" base_name Name.pp w.name) | None, (Closing _ | Closed _) -> invalid_arg (Format.asprintf - "Lwt_worker.state (%s[%a]): \ + "Worker.state (%s[%a]): \ state called after worker was terminated" base_name Name.pp w.name) | None, _ -> assert false