From 3289e0c9154f17ee4de209114441c17c2b4c166c Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Fri, 4 Mar 2016 15:32:28 +0100
Subject: [PATCH 1/1] oops

---
 src/simix/RawContext.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simix/RawContext.cpp b/src/simix/RawContext.cpp
index 83c3c7569a..bb1af0a2ee 100644
--- a/src/simix/RawContext.cpp
+++ b/src/simix/RawContext.cpp
@@ -473,7 +473,7 @@ void RawContext::resume_parallel()
   xbt_os_thread_set_specific(raw_worker_id_key, (void*) worker_id);
   RawContext* worker_context = (RawContext*) SIMIX_context_self();
   raw_workers_context[worker_id] = worker_context;
-  XBT_DEBUG("Saving worker stack %lu", worker_id);
+  XBT_DEBUG("Saving worker stack %zu", worker_id);
   SIMIX_context_set_current(this);
   raw_swapcontext(&worker_context->stack_top_, this->stack_top_);
 #else
-- 
2.20.1