From e5a57a5f32131336c1dc010172c5ce98a5b98941 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 8 Jan 2024 11:01:24 +0100
Subject: [PATCH] sync with frama-c master

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

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