From 20da8b8fe3f1d0c142a2589e90f6308f731e19e1 Mon Sep 17 00:00:00 2001
From: Michalis Pardalos <m.pardalos@gmail.com>
Date: Sun, 28 Feb 2021 14:53:31 +0000
Subject: Use michalis branch for compcert

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

(limited to 'lib')

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