clean up

[model-checker-benchmarks.git] / seqlock / seqlock

diff --git a/seqlock/seqlock b/seqlock/seqlock
deleted file mode 100755 (executable)
index 32a01ab..0000000
Binary files a/seqlock/seqlock and /dev/null differ