From 9523198cd20dc209bb62c52746accb69d59c7e4c Mon Sep 17 00:00:00 2001
From: Robert Sloan <varomodt@gmail.com>
Date: Wed, 22 Jun 2016 20:23:31 -0400
Subject: Add Pseudize, Vectorize, Wordize to the build process

---
 _CoqProject | 3 +++
 1 file changed, 3 insertions(+)

(limited to '_CoqProject')

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
-- 
cgit v1.2.3