diff --git a/docs/Introduction to type and resource safety.pdf b/docs/Introduction to type and resource safety.pdf
index 8649706..c32bf07 100644
Binary files a/docs/Introduction to type and resource safety.pdf and b/docs/Introduction to type and resource safety.pdf differ