diff --git a/lib/Echidna/Campaign.hs b/lib/Echidna/Campaign.hs index 2f3085884..589adab23 100644 --- a/lib/Echidna/Campaign.hs +++ b/lib/Echidna/Campaign.hs @@ -48,7 +48,7 @@ import Echidna.Types.Config import Echidna.Types.Signature (FunctionName) import Echidna.Types.Test import Echidna.Types.Test qualified as Test -import Echidna.Types.Tx (TxCall(..), Tx(..), call) +import Echidna.Types.Tx (TxCall(..), Tx(..)) import Echidna.Utility (getTimestamp) instance MonadThrow m => MonadThrow (RandT g m) where diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs index 130e1b335..4cea32816 100644 --- a/lib/Echidna/Exec.hs +++ b/lib/Echidna/Exec.hs @@ -40,7 +40,7 @@ import Echidna.Types (ExecException(..), Gas, fromEVM, emptyAccount) import Echidna.Types.Config (Env(..), EConfig(..), UIConf(..), OperationMode(..), OutputFormat(Text)) import Echidna.Types.Coverage (CoverageInfo) import Echidna.Types.Solidity (SolConf(..)) -import Echidna.Types.Tx (TxCall(..), Tx, TxResult(..), call, dst, initialTimestamp, initialBlockNumber, getResult) +import Echidna.Types.Tx (TxCall(..), Tx(call, dst), TxResult(..), initialTimestamp, initialBlockNumber, getResult) import Echidna.Utility (getTimestamp, timePrefix) -- | Broad categories of execution failures: reversions, illegal operations, and ???. diff --git a/src/test/Common.hs b/src/test/Common.hs index 2eb400aaa..b67fb6f34 100644 --- a/src/test/Common.hs +++ b/src/test/Common.hs @@ -50,7 +50,7 @@ import Echidna.Types.Campaign import Echidna.Types.Signature (ContractName) import Echidna.Types.Solidity (SolConf(..)) import Echidna.Types.Test -import Echidna.Types.Tx (Tx(..), TxCall(..), call) +import Echidna.Types.Tx (Tx(..), TxCall(..)) import Echidna.Types.World (World(..)) import EVM.Solidity (Contracts(..), BuildOutput(..), SolcContract(..))