From 83e716e65a3d497387e6bf8f33de29fff3bd269d Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 19 Mar 2020 15:09:59 +0000 Subject: Update names of directories --- _CoqProject | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to '_CoqProject') diff --git a/_CoqProject b/_CoqProject index 2ac5d91..5fac407 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,8 +1,8 @@ --R src/Common CoqUp.Common --R src/Verilog CoqUp.Verilog --R src/Driver CoqUp.Driver --R src/Extraction CoqUp.Extraction --R src/SMTrans CoqUp.SMTrans +-R src/common coqup.common +-R src/verilog coqup.verilog +-R src/driver coqup.driver +-R src/extraction coqup.extraction +-R src/translation coqup.translation -R lib/CompCert/lib compcert.lib -R lib/CompCert/common compcert.common -- cgit