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