From 57839dcf1932ad8cb16baeb5182020d701050df9 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 10 Dec 2021 10:00:22 +0100
Subject: [PATCH] sychronize with frama-c master

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

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