From b688e8bbf82e694cf62c11a117b67706d39f8459 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 20 May 2020 10:50:20 +0100
Subject: Update coq version to 11

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

(limited to 'lib')

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