From 60520cd8d08f63337225c0a2938827e00a2c48a3 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 10 Apr 2019 16:41:34 -0400
Subject: sed s'/RewriterProofs/RewriterAll/g'

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

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 2ca7a4b89..4d4b652ff 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -36,8 +36,8 @@ src/MiscCompilerPassesProofs.v
 src/PreLanguage.v
 src/Rewriter.v
 src/RewriterInterpProofs1.v
-src/RewriterProofs.v
-src/RewriterProofsTactics.v
+src/RewriterAll.v
+src/RewriterAllTactics.v
 src/RewriterRules.v
 src/RewriterRulesProofs.v
 src/RewriterWf1.v
-- 
cgit v1.2.3