Further tweaks

crytic · Jul 9, 2024 · 8d2cb5e · 8d2cb5e
1 parent 559bbc1
commit 8d2cb5e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/Echidna/Output/Source.hs b/lib/Echidna/Output/Source.hs
@@ -50,7 +50,7 @@ combineStats statsRef = do
  threadStats' <- allTLS statsRef
  threadStats <- mapM readIORef threadStats' :: IO [StatsMap]
  statsLists <- pure $ map (\(m :: StatsMap) -> Map.map (\(x :: VU.IOVector StatsInfo) -> mvToList x) m) threadStats :: IO [Map EVM.Types.W256 (IO [StatsInfo])]
- traverse (\x -> x >>= U.thaw . U.fromList >>= U.freeze) $ Map.unionsWith zipSumStats statsLists
+ traverse (U.fromList <$>) $ Map.unionsWith zipSumStats statsLists
 
 saveCoverages
  :: Env