diff --git a/doc/SafetyPragmasBNF/figures/tp.pdf b/doc/SafetyPragmasBNF/figures/tp.pdf
deleted file mode 100755
index a597c381ab3f4e1c29eb1f0084709a58101ac70f..0000000000000000000000000000000000000000
Binary files a/doc/SafetyPragmasBNF/figures/tp.pdf and /dev/null differ