From 143383a2a8535c79e6bad8b54495132ef7792338 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Fri, 2 Sep 2016 23:36:36 +0200 Subject: [PATCH] fix one issue here, leave one for later --- examples/msg/maestro-set/maestro-set.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/msg/maestro-set/maestro-set.c b/examples/msg/maestro-set/maestro-set.c index 001c3936cf..f59ff452f0 100644 --- a/examples/msg/maestro-set/maestro-set.c +++ b/examples/msg/maestro-set/maestro-set.c @@ -17,7 +17,7 @@ pid_t root_pid; static void ensure_root_tid() { pid_t my_pid = syscall(SYS_gettid); - xbt_assert(my_pid == root_pid, bprintf("I was supposed to be the main thread but %d != %d", my_pid, root_pid)); + xbt_assert(my_pid == root_pid, "I was supposed to be the main thread but %d != %d", my_pid, root_pid); XBT_INFO("I am the main thread, as expected"); } static void ensure_other_tid() { -- 2.20.1