From e7a0e1b0e02a850b39c1dcadec91d2ebc0e7bff3 Mon Sep 17 00:00:00 2001
From: Johannes Kanig <kanig@adacore.com>
Date: Fri, 8 Sep 2023 16:05:49 +0900
Subject: [PATCH] changelog and doc update

---
 CHANGELOG.md                       | 2 +-
 doc/user_guide/10-introduction.rst | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 368c37fa7..144c77805 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,7 +9,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Added
 
-- Support for SPARK Pro Wavefront 20230823 (eng/recordflux/RecordFlux#1403, eng/recordflux/RecordFlux#1409)
+- Support for SPARK Pro Wavefront 20230905 (eng/recordflux/RecordFlux#1403, eng/recordflux/RecordFlux#1409)
 
 ### Changed
 
diff --git a/doc/user_guide/10-introduction.rst b/doc/user_guide/10-introduction.rst
index 76d5ceea4..7e015643d 100644
--- a/doc/user_guide/10-introduction.rst
+++ b/doc/user_guide/10-introduction.rst
@@ -141,7 +141,7 @@ The tool can be installed using either the system package manager (`python3-pip`
 
 For the formal verification of the generated code, the following SPARK Pro version is required:
 
--  SPARK Pro Wavefront 20230823
+-  SPARK Pro Wavefront 20230905
 
 If you plan to use the RecordFlux Modeller, GNAT Studio needs to be installed and set up.