diff options
| author | joe <joe@jerkface.net> | 2017-09-14 18:12:23 -0400 |
|---|---|---|
| committer | joe <joe@jerkface.net> | 2017-09-14 18:12:23 -0400 |
| commit | 7e44a19fae9bc9f90c38641cbc5cf8af9c540ecb (patch) | |
| tree | 02ca40ac6eb67e5c2fe8421ec65061885b898929 /src | |
| parent | 384db9531ad8ffe4e9021fa07e396c7c68c1242f (diff) | |
Fixed leak in thread instrumentation.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Control/Concurrent/Lifted/Instrument.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Control/Concurrent/Lifted/Instrument.hs b/src/Control/Concurrent/Lifted/Instrument.hs index 7ee78c8b..9a409569 100644 --- a/src/Control/Concurrent/Lifted/Instrument.hs +++ b/src/Control/Concurrent/Lifted/Instrument.hs | |||
| @@ -25,7 +25,7 @@ data PerThread = PerThread | |||
| 25 | } | 25 | } |
| 26 | deriving (Eq,Ord,Show) | 26 | deriving (Eq,Ord,Show) |
| 27 | 27 | ||
| 28 | data GlobalState = GlobalState | 28 | newtype GlobalState = GlobalState |
| 29 | { threads :: Map.Map ThreadId PerThread | 29 | { threads :: Map.Map ThreadId PerThread |
| 30 | } | 30 | } |
| 31 | 31 | ||