diff --git a/_fc-versions/titanium.md b/_fc-versions/titanium.md index d55ea25ee9d30b8fd729e8ea31152644b23db64c..ed726c59b74eed68168613f4b89f9337d0cd52b1 100644 --- a/_fc-versions/titanium.md +++ b/_fc-versions/titanium.md @@ -20,7 +20,7 @@ releases: help_link: /download/hello-22.0-Titanium.tar.gz - name: API Documentation link: /download/frama-c-22.0-Titanium-api.tar.gz - - name: ACSL 1.15 (Titanium implementation) + - name: ACSL 1.16 (Titanium implementation) link: /download/acsl-implementation-22.0-Titanium.pdf - name: Plug-in Manuals sort: true