Skip to content

Commit

Permalink
Removed duplicated CHECK_DEADLOCK
Browse files Browse the repository at this point in the history 
Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
  • Loading branch information
@ahelwer
ahelwer committed Jan 14, 2024
1 parent d0ca8f0 commit 7b5c1b0
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions specifications/ewd687a/EWD687a_anim.cfg
View file
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,3 @@ CHECK_DEADLOCK
ACTION_CONSTRAINT
NoSuperfluousIdleSteps

CHECK_DEADLOCK
FALSE

0 comments on commit 7b5c1b0

Please sign in to comment.