From d033047de9bdcd90e79cd8f5316cdd0dd54788df Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 31 Mar 2020 10:46:11 +0100
Subject: Fix Makefile build

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index a1a5144..7b2f864 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -2,6 +2,7 @@
 -R src/extraction coqup.extraction
 -R src/translation coqup.translation
 -R src/verilog coqup.verilog
+-R src coqup
 
 -R lib/CompCert/MenhirLib compcert.MenhirLib
 -R lib/CompCert/backend compcert.backend
-- 
cgit