From 3b631c7cd911e6ef5a0d5d8554c63e76131f33c4 Mon Sep 17 00:00:00 2001 From: Allan Blanchard Date: Tue, 24 Nov 2020 18:02:11 +0100 Subject: [PATCH] Update titanium.md: typo in ACSL version --- _fc-versions/titanium.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_fc-versions/titanium.md b/_fc-versions/titanium.md index d55ea25e..ed726c59 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 -- GitLab