Skip to content

Commit 934f5d4

Browse files
committed
io-sim: more strict execAtomically
1 parent e548881 commit 934f5d4

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

io-sim/src/Control/Monad/IOSimPOR/Internal.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1362,7 +1362,7 @@ execAtomically !time !tid !tlbl !nextVid0 !action0 !k0 =
13621362
-> TVarId -- var fresh name supply
13631363
-> StmA s b
13641364
-> ST s (SimTrace c)
1365-
go !ctl !read !written !writtenSeq !createdSeq !nextVid action =
1365+
go !ctl !read !written !writtenSeq !createdSeq !nextVid !action =
13661366
assert localInvariant $
13671367
case action of
13681368
ReturnStm x ->

0 commit comments

Comments
 (0)