From 6817b99b7affd3b3deef480fe680f6110fa83627 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 17 Sep 2021 18:29:11 +0100
Subject: Update CompCert

---
 lib/CompCert | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/CompCert b/lib/CompCert
index 1daf96c..a1c401a 160000
--- a/lib/CompCert
+++ b/lib/CompCert
@@ -1 +1 @@
-Subproject commit 1daf96cdca4d828c333cea5c9a314ef861342984
+Subproject commit a1c401a4eba5fc9fcf42933f70005ecb679a4c1c
-- 
cgit