diff --git a/Examples/MIS-Examples/ExampleMaze_FormalSpec.pdf b/Examples/MIS-Examples/ExampleMaze_FormalSpec.pdf
deleted file mode 100644
index bd301a6bfed0a48dbfe5ddac313d1dc2dd4ad7f5..0000000000000000000000000000000000000000
Binary files a/Examples/MIS-Examples/ExampleMaze_FormalSpec.pdf and /dev/null differ