Merge pull request #46 from msakai/remove-unnecessary-imports

Remove some unnecessary imports to suppress warnings
DanielSchuessler · Nov 9, 2024 · 6ac3557 · 6ac3557
2 parents d41c47c + f128620
commit 6ac3557
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/Codec/TPTP/QuickCheck.hs b/Codec/TPTP/QuickCheck.hs
@@ -9,7 +9,6 @@ module Codec.TPTP.QuickCheck where
 
 import Test.QuickCheck
 import Control.Monad
-import Control.Applicative
 import Data.Char
 import Data.Array.ST
 import Data.Array.IArray

diff --git a/testing/Common.hs b/testing/Common.hs
@@ -4,7 +4,6 @@
 
 module Common where
 
-import Data.Monoid
 import qualified Data.Semigroup as Semigroup
 import Text.PrettyPrint.ANSI.Leijen
 import Text.Regex.PCRE.Light.Char8