1 files changed, 4 insertions, 0 deletions
diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs
index 8595066..6b18232 100644
--- a/src/Verismith/Reduce.hs
+++ b/src/Verismith/Reduce.hs
@@ -35,6 +35,9 @@ module Verismith.Reduce
     , removeConstInConcat
     , takeReplace
     , filterExpr
+    , ReduceAnn(..)
+    , tagAlways
+    , untagAlways
     )
 where
 
@@ -61,6 +64,7 @@ import           Verismith.Verilog
 import           Verismith.Verilog.AST
 import           Verismith.Verilog.Mutate
 import           Verismith.Verilog.Parser
+import Verismith.Verilog.CodeGen
 
 
 -- $strategy