From 6c864c975f644e5e4d8ed6da32e8f6b8971f1a33 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 2 Apr 2020 21:21:37 +0100
Subject: Update compcert dependency

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

(limited to 'lib')

diff --git a/lib/CompCert b/lib/CompCert
index 636dec4..e134692 160000
--- a/lib/CompCert
+++ b/lib/CompCert
@@ -1 +1 @@
-Subproject commit 636dec4c2dff5c58f7b46d01af896a5f17f6920a
+Subproject commit e13469254ced9e4980ee54769d5b8b8729efc850
-- 
cgit