From 9813f515720315101489e5c5e6831617708e9f83 Mon Sep 17 00:00:00 2001
From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 17 Mar 2010 10:20:23 +0000
Subject: [PATCH] release_forever is supposed to open the latch. Let's do so

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7258 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/simix/smx_synchro.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/simix/smx_synchro.c b/src/simix/smx_synchro.c
index 92ddf2778e..e80c9cf2f7 100644
--- a/src/simix/smx_synchro.c
+++ b/src/simix/smx_synchro.c
@@ -404,6 +404,7 @@ void SIMIX_sem_release_forever(smx_sem_t sem) {
     xbt_swag_remove(proc, sem->sleeping);
     xbt_swag_insert(proc, simix_global->process_to_run);
   }
+  sem->capacity == SMX_SEM_NOLIMIT;
 }
 
 /**
-- 
2.20.1