From ccaead2eac9e68f3bf83392a10c31ebcff480557 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 1 Dec 2021 11:18:25 +0100
Subject: [PATCH] Fix main ACSL implementation manual

---
 download/frama-c-acsl-implementation.pdf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index adcb7c7a..75759f65 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
-- 
GitLab