From 6047a7f1fec9e722ab838129e3723c8661a0dc7f Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 1 Apr 2017 20:14:15 -0400
Subject: Add Reflection/Rewriter.v

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 9da7280ad..414eb2949 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -142,6 +142,7 @@ src/Reflection/MultiSizeTest.v
 src/Reflection/MultiSizeTest2.v
 src/Reflection/Reify.v
 src/Reflection/Relations.v
+src/Reflection/Rewriter.v
 src/Reflection/SmartBound.v
 src/Reflection/SmartBoundInterp.v
 src/Reflection/SmartBoundWf.v
-- 
cgit v1.2.3