pthread impl

crytic · Jul 9, 2024 · 0b5d6a0 · 0b5d6a0
1 parent 8d2cb5e
commit 0b5d6a0
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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)