diff --git a/lectures/lecture3_dafny.pdf b/lectures/lecture3_dafny.pdf
index 4870325..0f50adf 100644
Binary files a/lectures/lecture3_dafny.pdf and b/lectures/lecture3_dafny.pdf differ