X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=futex-wakeup%2Fnto1-selective%2Ffutex.ltl;h=3d6842e5d9971e1212a77a2fab94f764d6aa0cf6;hb=fda9aff00dcdf7cb49892d79f861d0acfb475514;hp=87186413c9ba4e59e8b4c3814696692c1f974418;hpb=7f12dad2ba26c922477cc5999f7efef43ce26748;p=urcu.git

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