fixed command line

[cdsspec-compiler.git] / correctness-model / writeup / issta15_submission.pdf

diff --git a/correctness-model/writeup/issta15_submission.pdf b/correctness-model/writeup/issta15_submission.pdf
deleted file mode 100644 (file)
index 84e6eed..0000000
Binary files a/correctness-model/writeup/issta15_submission.pdf and /dev/null differ