From 991bb51f78b94de2b818bb91b49b272c821bf298 Mon Sep 17 00:00:00 2001
From: Johannes Kanig <kanig@adacore.com>
Date: Fri, 29 Aug 2025 09:22:20 +0900
Subject: [PATCH] Submodule update

---
 why3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/why3 b/why3
index 55e45070d2..fa7bfb3862 160000
--- a/why3
+++ b/why3
@@ -1 +1 @@
-Subproject commit 55e45070d2596d782f0f33981f5421868a4960ee
+Subproject commit fa7bfb38628a6bfc7bf19fb274605375a8ab2399