X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/79317068f3917f6d3daf04d9e904fa9a2f94f1b7..143383a2a8535c79e6bad8b54495132ef7792338:/examples/msg/maestro-set/maestro-set.c 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() {