From c1f2c2e386c2597fdc61509ab2376f61f120c119 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 14 Feb 2020 15:49:05 +0000
Subject: Update compcert

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

(limited to 'lib/CompCert')

diff --git a/lib/CompCert b/lib/CompCert
index bc0e157..849a9d2 160000
--- a/lib/CompCert
+++ b/lib/CompCert
@@ -1 +1 @@
-Subproject commit bc0e1573c189e876ebaf377d11f2f8a00eb8dcf0
+Subproject commit 849a9d29216c17711ad00b8623016427d28efa09
-- 
cgit