X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4ceaeaa049f33495a445d5b4f1347eec202a762b..06688d73948ce9a162626ecb422345f0c5acd7a4:/src/simix/smx_synchro.c

diff --git a/src/simix/smx_synchro.c b/src/simix/smx_synchro.c
index bec90e9f6f..1cd37ed82f 100644
--- a/src/simix/smx_synchro.c
+++ b/src/simix/smx_synchro.c
@@ -485,7 +485,6 @@ void SIMIX_sem_acquire_timeout(smx_sem_t sem, double max_duration)
     sem->capacity--;
     return;
   }
-  sem->capacity--;
 
   /* Always create an action null in case there is a host failure */
   act_sleep = SIMIX_action_sleep(SIMIX_host_self(), max_duration);