From 668eda8ea01553e7788ba4dce888360e54320d9f Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 13 May 2020 01:33:36 +0100 Subject: Remove removeDecl as that pass is already there --- src/Verismith/Reduce.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Verismith/Reduce.hs b/src/Verismith/Reduce.hs index 6df398d..267dddb 100644 --- a/src/Verismith/Reduce.hs +++ b/src/Verismith/Reduce.hs @@ -656,7 +656,7 @@ reduce :: -- | Reduced output. m (SourceInfo ()) reduce fp eval rsrc = - fmap (clearAnn . removeDecl) $ + fmap clearAnn $ red "Modules" id id halveModules moduleBot src >>= redAll "Module items" idTag idTag halveModItems modItemBot >>= redAll "Statements" tagAlways untagAlways halveStatements (const defaultBot) -- cgit