From f699e63e3c54eec51067fc9e74f85341ed3b75af Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 13 Feb 2020 12:04:51 +0000
Subject: Add CompCert as a library

---
 lib/CompCert | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 lib/CompCert

(limited to 'lib/CompCert')

diff --git a/lib/CompCert b/lib/CompCert
new file mode 160000
index 0000000..9b881b7
--- /dev/null
+++ b/lib/CompCert
@@ -0,0 +1 @@
+Subproject commit 9b881b7928ab7d21e9981133bef5b26e33b6cd9d
-- 
cgit