From ad3f1343356b2ac60da964922459105e3329af0e Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 5 Apr 2019 20:24:08 -0400
Subject: Automate more of the rewriter, and factor out rule-specific things

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 40219c575..9f5a239e1 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -33,7 +33,9 @@ src/LanguageInversion.v
 src/LanguageWf.v
 src/MiscCompilerPasses.v
 src/MiscCompilerPassesProofs.v
+src/PreLanguage.v
 src/Rewriter.v
+src/RewriterFull.v
 src/RewriterInterpProofs1.v
 src/RewriterProofs.v
 src/RewriterRules.v
-- 
cgit v1.2.3