From d8748b89381091cabc8ed76c93d26c3e3b4b8cf4 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 14 Feb 2019 13:45:52 +0100
Subject: [PATCH] Unsigned cannot become negative.

---
 src/kernel/activity/SemaphoreImpl.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/activity/SemaphoreImpl.hpp b/src/kernel/activity/SemaphoreImpl.hpp
index 913d761a11..1b255a8fc1 100644
--- a/src/kernel/activity/SemaphoreImpl.hpp
+++ b/src/kernel/activity/SemaphoreImpl.hpp
@@ -26,7 +26,7 @@ public:
 
   void acquire(smx_actor_t issuer, double timeout);
   void release();
-  bool would_block() { return (value_ <= 0); }
+  bool would_block() { return (value_ == 0); }
   unsigned int get_capacity() { return value_; }
 
   friend void intrusive_ptr_add_ref(SemaphoreImpl* sem)
-- 
2.20.1