Skip to content

Commit

Permalink
apply restyling
Browse files Browse the repository at this point in the history
  • Loading branch information
byorgey committed Jan 6, 2025
1 parent 941c3a1 commit 0e6b378
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/swarm-engine/Swarm/Game/Step.hs
Original file line number Diff line number Diff line change
Expand Up @@ -619,7 +619,6 @@ stepCESK cesk = case cesk of
-- will remain set, and evaluation + execution together will
-- all happen in a single tick.
FExec : _ -> return $ In t2 e s (FApp (VCApp c []) : k)

-- Otherwise, in general, other evaluation may take place in
-- between evaluating the argument to atomic/instant and
-- executing it, so we must push an FFinishAtomic frame so
Expand Down

0 comments on commit 0e6b378

Please sign in to comment.