diff options
Diffstat (limited to 'src/BoundsPipeline.v')
| -rw-r--r-- | src/BoundsPipeline.v | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/BoundsPipeline.v b/src/BoundsPipeline.v index af25f223e..f0c161dc2 100644 --- a/src/BoundsPipeline.v +++ b/src/BoundsPipeline.v @@ -24,7 +24,6 @@ Require Crypto.Language. Require Crypto.UnderLets. Require Crypto.AbstractInterpretation. Require Crypto.Rewriter. -Require Crypto.RewriterFull. Require Crypto.MiscCompilerPasses. Require Crypto.CStringification. Require Crypto.LanguageWf. @@ -47,7 +46,6 @@ Import Crypto.UnderLets Crypto.AbstractInterpretation Crypto.Rewriter - Crypto.RewriterFull Crypto.MiscCompilerPasses Crypto.CStringification. @@ -62,7 +60,6 @@ Import UnderLets.Compilers AbstractInterpretation.Compilers Rewriter.Compilers - RewriterFull.Compilers MiscCompilerPasses.Compilers CStringification.Compilers. |