From 821ff220193870353053eebc9b60d7c3abad4e2e Mon Sep 17 00:00:00 2001
From: Lionel <eyraud@etincel.(none)>
Date: Thu, 6 Jun 2013 23:29:34 +0200
Subject: [PATCH] Bugfix

---
 examples/msg/semaphores/synchro.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/msg/semaphores/synchro.c b/examples/msg/semaphores/synchro.c
index fef6142aef..21c6aae1ec 100644
--- a/examples/msg/semaphores/synchro.c
+++ b/examples/msg/semaphores/synchro.c
@@ -36,7 +36,7 @@ int main(int argc, char* argv[]) {
   xbt_dynar_t hosts = MSG_hosts_as_dynar();
   msg_host_t h = xbt_dynar_get_as(hosts,0,msg_host_t);
 
-
+  sem = MSG_sem_init(1);
   char* aliceTimes[] = {"0", "1", "3", "5", "1", "2", "5", "0"};
   char* bobTimes[] = {"1", "1", "1", "2", "2", "0", "0", "5"};
 
-- 
2.20.1