diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 20:23:31 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 20:23:31 -0400 |
| commit | 9523198cd20dc209bb62c52746accb69d59c7e4c (patch) | |
| tree | 8f8cfe411e7f163ee1b93b5b361ba66c40338cef /_CoqProject | |
| parent | 5cb07f239f82528ba5422556f59294511326c2ad (diff) | |
Add Pseudize, Vectorize, Wordize to the build process
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index c9d56d0fc..a8e3d66ff 100644 --- a/_CoqProject +++ b/_CoqProject @@ -57,3 +57,6 @@ src/Assembly/PseudoConversion.v src/Assembly/AlmostConversion.v src/Assembly/StringConversion.v src/Assembly/Pipeline.v +src/Assembly/Vectorize.v +src/Assembly/Wordize.v +src/Assembly/Pseudize.v |