mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-23 08:27:24 +03:00
[macaw-semmc] Update test imports to avoid import warnings.
This commit is contained in:
parent
a53c88f88e
commit
f63f9972eb
@ -34,6 +34,8 @@ import Text.PrettyPrint.ANSI.Leijen ( putDoc )
|
||||
import Text.Printf ( PrintfArg, printf )
|
||||
import Text.Read ( readMaybe )
|
||||
|
||||
import Prelude
|
||||
|
||||
|
||||
-- | Set to true to build with chatty output.
|
||||
isChatty :: Bool
|
||||
|
@ -1,11 +1,13 @@
|
||||
module MismatchTests where
|
||||
|
||||
|
||||
import Control.Monad.Catch
|
||||
import Data.Monoid
|
||||
import Shared
|
||||
import Test.Tasty
|
||||
import Test.Tasty.HUnit
|
||||
import Shared
|
||||
import Data.Monoid
|
||||
import Control.Monad.Catch
|
||||
|
||||
import Prelude
|
||||
|
||||
|
||||
armMismatchTests :: [FilePath] -> TestTree
|
||||
|
Loading…
Reference in New Issue
Block a user