1 files changed, 0 insertions, 24 deletions
diff --git a/src/RewriterProofs.v b/src/RewriterProofs.v
deleted file mode 100644
index c2a891de1..000000000
--- a/src/RewriterProofs.v
+++ /dev/null
@@ -1,24 +0,0 @@
-Require Import Crypto.Rewriter.NBE.
-Require Import Crypto.Rewriter.Arith.
-Require Import Crypto.Rewriter.ArithWithCasts.
-Require Import Crypto.Rewriter.StripLiteralCasts.
-Require Import Crypto.Rewriter.ToFancy.
-Require Import Crypto.Rewriter.ToFancyWithCasts.
-
-Module Compilers.
-  Export NBE.Compilers.
-  Export Arith.Compilers.
-  Export ArithWithCasts.Compilers.
-  Export StripLiteralCasts.Compilers.
-  Export ToFancy.Compilers.
-  Export ToFancyWithCasts.Compilers.
-
-  Module Import RewriteRules.
-    Export NBE.Compilers.RewriteRules.
-    Export Arith.Compilers.RewriteRules.
-    Export ArithWithCasts.Compilers.RewriteRules.
-    Export StripLiteralCasts.Compilers.RewriteRules.
-    Export ToFancy.Compilers.RewriteRules.
-    Export ToFancyWithCasts.Compilers.RewriteRules.
-  End RewriteRules.
-End Compilers.