diff --git a/lib/Echidna/UI.hs b/lib/Echidna/UI.hs index 7ac966b05..dcbccdc13 100644 --- a/lib/Echidna/UI.hs +++ b/lib/Echidna/UI.hs @@ -29,7 +29,6 @@ import UnliftIO ( MonadUnliftIO, IORef, newIORef, readIORef, hFlush, stdout , writeIORef, timeout) import UnliftIO.Concurrent hiding (killThread, threadDelay) -import EVM.Solidity (SolcContract) import EVM.Types (Addr, Contract, VM, VMType(Concrete), W256) import Echidna.ABI @@ -43,7 +42,6 @@ import Echidna.Types.Corpus qualified as Corpus import Echidna.Types.Coverage (scoveragePoints) import Echidna.Types.Test (EchidnaTest(..), didFail, isOptimizationTest) import Echidna.Types.Tx (Tx) -import Echidna.Types.World (World) import Echidna.UI.Report import Echidna.UI.Widgets import Echidna.Utility (timePrefix, getTimestamp) diff --git a/lib/Echidna/UI/Widgets.hs b/lib/Echidna/UI/Widgets.hs index e33685bcd..cfa851bf3 100644 --- a/lib/Echidna/UI/Widgets.hs +++ b/lib/Echidna/UI/Widgets.hs @@ -341,7 +341,6 @@ failWidget b test = do ( failureBadge <+> str (" with " ++ show test.result) , shrinkWidget b test <=> titleWidget <=> s <=> str " " <=> traces ) - where optWidget :: MonadReader Env m