From 712758c95e93186f0f25da9de04f30d18fdda002 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 26 Jan 2022 17:34:50 +0100
Subject: [PATCH] update frama-c submodule

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

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