From ff40ff40ee967f6fd9206ef8c86426b0ea33cbde Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 14 Feb 2020 21:02:44 +0000
Subject: Update driver

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

(limited to 'lib')

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