diff --git a/lib/Echidna.hs b/lib/Echidna.hs index ec7f5dd52..86839f592 100644 --- a/lib/Echidna.hs +++ b/lib/Echidna.hs @@ -9,7 +9,7 @@ import Data.List.NonEmpty (NonEmpty) import Data.List.NonEmpty qualified as NE import Data.Map.Strict qualified as Map import Data.Set qualified as Set -import Data.TLS.GHC (mkTLS) +import Data.TLS.PThread (mkTLS) import System.FilePath (()) import EVM (cheatCode) diff --git a/lib/Echidna/Exec.hs b/lib/Echidna/Exec.hs index 7dc036f81..375c2314c 100644 --- a/lib/Echidna/Exec.hs +++ b/lib/Echidna/Exec.hs @@ -18,7 +18,7 @@ import Data.IORef (readIORef, atomicWriteIORef, newIORef, writeIORef, modifyIORe import Data.Map qualified as Map import Data.Maybe (fromMaybe, fromJust) import Data.Text qualified as T -import Data.TLS.GHC (getTLS) +import Data.TLS.PThread (getTLS) import Data.Vector qualified as V import Data.Vector.Unboxed.Mutable qualified as VMut import System.Process (readProcessWithExitCode) diff --git a/lib/Echidna/Output/Source.hs b/lib/Echidna/Output/Source.hs index 0923caf11..939d0c4bb 100644 --- a/lib/Echidna/Output/Source.hs +++ b/lib/Echidna/Output/Source.hs @@ -18,7 +18,7 @@ import Data.Text (Text, pack) import Data.Text qualified as T import Data.Text.Encoding (decodeUtf8) import Data.Text.IO (writeFile) -import Data.TLS.GHC (allTLS, TLS) +import Data.TLS.PThread (allTLS, TLS) import Data.Vector qualified as V import qualified Data.Vector.Unboxed as U import Data.Vector.Unboxed.Mutable qualified as VU diff --git a/lib/Echidna/Types/Config.hs b/lib/Echidna/Types/Config.hs index 18253b542..0c1180a33 100644 --- a/lib/Echidna/Types/Config.hs +++ b/lib/Echidna/Types/Config.hs @@ -8,7 +8,7 @@ import Data.Set (Set) import Data.Text (Text) import Data.Time (LocalTime) import Data.Word (Word64) -import Data.TLS.GHC +import Data.TLS.PThread import EVM.Dapp (DappInfo) import EVM.Types (Addr, Contract, W256)