Skip to content

Commit e548881

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

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1037,7 +1037,7 @@ execAtomically !time !tid !tlbl !nextVid0 !action0 !k0 =
10371037
-> TVarId -- var fresh name supply
10381038
-> StmA s b
10391039
-> ST s (SimTrace c)
1040-
go !ctl !read !written !writtenSeq !createdSeq !nextVid action =
1040+
go !ctl !read !written !writtenSeq !createdSeq !nextVid !action =
10411041
assert localInvariant $
10421042
case action of
10431043
ReturnStm x ->

0 commit comments

Comments
 (0)