From ed8336189707bd1575de3cfffa730a2594086a33 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 6 Oct 2020 17:28:27 +0100
Subject: Update CompCert dependency

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

diff --git a/lib/CompCert b/lib/CompCert
index c63ea34..92c4cf5 160000
--- a/lib/CompCert
+++ b/lib/CompCert
@@ -1 +1 @@
-Subproject commit c63ea340ca90f95089cff070e94694d9a7a643fc
+Subproject commit 92c4cf55ce84dbeeab25f540549d3bb5b099a1f3
-- 
cgit