From ea64d739af16952883abce536958ac4877698277 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 17 Sep 2021 18:21:19 +0100
Subject: Fix compilation with new CompCert version

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

(limited to 'lib')

diff --git a/lib/CompCert b/lib/CompCert
index 48a9dcb..1daf96c 160000
--- a/lib/CompCert
+++ b/lib/CompCert
@@ -1 +1 @@
-Subproject commit 48a9dcbdc968bcf05b4eec17b8c7fd471fb80240
+Subproject commit 1daf96cdca4d828c333cea5c9a314ef861342984
-- 
cgit