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

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)