From 3e1add3e13c85b30afa0a32c036dc26f7ab2fafa Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 12 Jun 2020 12:05:13 +0100
Subject: Update compcert to always inline functions

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

(limited to 'lib')

diff --git a/lib/CompCert b/lib/CompCert
index 8f8250d..dd750a1 160000
--- a/lib/CompCert
+++ b/lib/CompCert
@@ -1 +1 @@
-Subproject commit 8f8250d076c9bcb15954c978dd1c351dd948326c
+Subproject commit dd750a10840889f73759971a531208278188651e
-- 
cgit