diff --git a/frama-c b/frama-c
index ea345863192f8b305f3d4b2a3f347e79f3b786a3..6a1f8d78ae2add0c62732e2f9eadb452bec6e879 160000
--- a/frama-c
+++ b/frama-c
@@ -1 +1 @@
-Subproject commit ea345863192f8b305f3d4b2a3f347e79f3b786a3
+Subproject commit 6a1f8d78ae2add0c62732e2f9eadb452bec6e879