X-Git-Url: https://git.lttng.org/?p=urcu.git;a=blobdiff_plain;f=formal-model%2Ffutex-wakeup%2FDEFINES;h=e328b5577fc6d914170a7104c9059598a46d1a8a;hp=7c9a54f1d866ed54596a2147254193caebaf729b;hb=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;hpb=d4de486929b21b452a6fd94f2ca6c906c0f6b6b2

diff --git a/formal-model/futex-wakeup/DEFINES b/formal-model/futex-wakeup/DEFINES
index 7c9a54f..e328b55 100644
--- a/formal-model/futex-wakeup/DEFINES
+++ b/formal-model/futex-wakeup/DEFINES
@@ -1 +1 @@
-#define queue_has_entry	(queue == 1)
+#define queue_has_entry	(queue[0] == 1 || queue[1] == 1)