Remove stale file

[urcu.git] / formal-model / futex-wakeup / .futex.spin.swp

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