diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index adcb7c7a59f15f00306dddbaf445c0d4cf5f4530..75759f65ab8d0796d3a81e6e8bf1edb37fee20b5 100644
--- a/download/frama-c-acsl-implementation.pdf
+++ b/download/frama-c-acsl-implementation.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:e65f8dcbe938bc6bfffd967fdf061574b647ba7a147f9cd9de0b80353f7947b9
-size 1416177
+oid sha256:5b3cd9b0fb07b2f407c169084231d2e7e7789a329a28dc41cc2e81f44e61d1cc
+size 1416101