From e8792722e5947376099824f18def1324e73acf05 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Sun, 5 May 2024 12:57:15 -0300
Subject: [PATCH] Fix compilation failure after merge

---
 lib/Echidna/SymExec.hs | 1 +
 lib/Echidna/UI.hs      | 3 +--
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/Echidna/SymExec.hs b/lib/Echidna/SymExec.hs
index 752dfcdfa..3c0b973d2 100644
--- 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
index 18328359a..0d1dc3db1 100644
--- 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)