From 7fcc860e1283667255c592638394cc10bb882302 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sat, 3 Oct 2020 20:06:40 +0100
Subject: Fix Makefile for verilog backend

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

(limited to 'lib/CompCert')

diff --git a/lib/CompCert b/lib/CompCert
index dd750a1..92c4cf5 160000
--- a/lib/CompCert
+++ b/lib/CompCert
@@ -1 +1 @@
-Subproject commit dd750a10840889f73759971a531208278188651e
+Subproject commit 92c4cf55ce84dbeeab25f540549d3bb5b099a1f3
-- 
cgit