diff --git a/frama-c b/frama-c
index 498760623a093ddbed2722fc7001e82df46689ad..697c0a86ce53e3be762081937a03b54f8615738e 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit 498760623a093ddbed2722fc7001e82df46689ad
+Subproject commit 697c0a86ce53e3be762081937a03b54f8615738e