X-Git-Url: http://git.lttng.org/?a=blobdiff_plain;f=formal-model%2Ffutex-wakeup%2F.futex.spin.swp;fp=formal-model%2Ffutex-wakeup%2F.futex.spin.swp;h=0000000000000000000000000000000000000000;hb=4ccf3e7c5f7b23c99278d56e95b82b4e337a172b;hp=4e5aa44ca9b6363250f0ac39aace1f9ded312f34;hpb=656c7dc16c88b6683727087013c702687dfd022b;p=urcu.git

diff --git a/formal-model/futex-wakeup/.futex.spin.swp b/formal-model/futex-wakeup/.futex.spin.swp
deleted file mode 100644
index 4e5aa44..0000000
Binary files a/formal-model/futex-wakeup/.futex.spin.swp and /dev/null differ