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

---
 src/BoundsPipeline.v | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/BoundsPipeline.v')

diff --git a/src/BoundsPipeline.v b/src/BoundsPipeline.v
index f0c161dc2..af25f223e 100644
--- a/src/BoundsPipeline.v
+++ b/src/BoundsPipeline.v
@@ -24,6 +24,7 @@ Require Crypto.Language.
 Require Crypto.UnderLets.
 Require Crypto.AbstractInterpretation.
 Require Crypto.Rewriter.
+Require Crypto.RewriterFull.
 Require Crypto.MiscCompilerPasses.
 Require Crypto.CStringification.
 Require Crypto.LanguageWf.
@@ -46,6 +47,7 @@ Import
   Crypto.UnderLets
   Crypto.AbstractInterpretation
   Crypto.Rewriter
+  Crypto.RewriterFull
   Crypto.MiscCompilerPasses
   Crypto.CStringification.
 
@@ -60,6 +62,7 @@ Import
   UnderLets.Compilers
   AbstractInterpretation.Compilers
   Rewriter.Compilers
+  RewriterFull.Compilers
   MiscCompilerPasses.Compilers
   CStringification.Compilers.
 
-- 
cgit v1.2.3