X-Git-Url: http://git.liburcu.org/?p=userspace-rcu.git;a=blobdiff_plain;f=futex-wakeup%2Ffutex.ltl;fp=futex-wakeup%2Ffutex.ltl;h=87186413c9ba4e59e8b4c3814696692c1f974418;hp=3d6842e5d9971e1212a77a2fab94f764d6aa0cf6;hb=2a8044f3493046fcc8c67016902dc7beec6f026a;hpb=307daf8c9b05b394c48c069083891d6dc14ff345

diff --git a/futex-wakeup/futex.ltl b/futex-wakeup/futex.ltl
index 3d6842e..8718641 100644
--- a/futex-wakeup/futex.ltl
+++ b/futex-wakeup/futex.ltl
@@ -1 +1 @@
-([] <> ((!np_) || (!queue_has_entry)))
+([] <> !np_)