Fix compilation failure after merge

crytic · May 5, 2024 · e879272 · e879272
1 parent 9f902a8
commit e879272
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/Echidna/SymExec.hs b/lib/Echidna/SymExec.hs
@@ -131,6 +131,7 @@ vmMakeSymbolic vm
   , config         = vm.config
   , forks          = vm.forks
   , currentFork    = vm.currentFork
+  , labels         = vm.labels
   }
 
 frameStateMakeSymbolic :: FrameState Concrete s -> FrameState Symbolic s

diff --git a/lib/Echidna/UI.hs b/lib/Echidna/UI.hs
@@ -15,7 +15,7 @@ import Control.Monad.ST (RealWorld)
 import Data.ByteString.Lazy qualified as BS
 import Data.List.Split (chunksOf)
 import Data.Map (Map)
-import Data.Maybe (fromMaybe, isJust)
+import Data.Maybe (isJust)
 import Data.Sequence ((|>))
 import Data.Text (Text)
 import Data.Time
@@ -41,7 +41,6 @@ import Echidna.Types.Campaign
 import Echidna.Types.Config
 import Echidna.Types.Corpus qualified as Corpus
 import Echidna.Types.Coverage (scoveragePoints)
-import Echidna.Types.Solidity (SolConf(..))
 import Echidna.Types.Test (EchidnaTest(..), didFail, isOptimizationTest)
 import Echidna.Types.Tx (Tx)
 import Echidna.Types.World (World)