diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 54ff493..2ac5d91 100644 --- a/_CoqProject +++ b/_CoqProject @@ -2,6 +2,7 @@ -R src/Verilog CoqUp.Verilog -R src/Driver CoqUp.Driver -R src/Extraction CoqUp.Extraction +-R src/SMTrans CoqUp.SMTrans -R lib/CompCert/lib compcert.lib -R lib/CompCert/common compcert.common |