diff --git a/frama-c b/frama-c
index 038d45c0a4ec5a3de9a84110c9d7e683aa9204b1..2f9b5b70a1419269f0f6017eca24e6b548447aaa 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit 038d45c0a4ec5a3de9a84110c9d7e683aa9204b1
+Subproject commit 2f9b5b70a1419269f0f6017eca24e6b548447aaa