aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Reduce.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/Reduce.hs')
-rw-r--r--src/VeriFuzz/Reduce.hs3
1 files changed, 1 insertions, 2 deletions
diff --git a/src/VeriFuzz/Reduce.hs b/src/VeriFuzz/Reduce.hs
index 79a46ba..2bf5a78 100644
--- a/src/VeriFuzz/Reduce.hs
+++ b/src/VeriFuzz/Reduce.hs
@@ -16,6 +16,7 @@ Test case reducer implementation.
module VeriFuzz.Reduce
( -- $strategy
reduceWithScript
+ , reduceSynth
, reduce
, reduce_
, Replacement(..)
@@ -36,8 +37,6 @@ import Data.List.NonEmpty (NonEmpty (..))
import qualified Data.List.NonEmpty as NonEmpty
import Data.Maybe (mapMaybe)
import Data.Text (Text)
-import qualified Data.Text as T
-import qualified Data.Text.IO as T
import Shelly ((<.>))
import qualified Shelly
import Shelly.Lifted (MonadSh, liftSh)