From 7b5c1b02cd432f41bc26fdc586dd8e0eb46d166b Mon Sep 17 00:00:00 2001 From: Andrew Helwer <2n8rn1w1f@mozmail.com> Date: Sun, 14 Jan 2024 10:53:53 -0500 Subject: [PATCH] Removed duplicated CHECK_DEADLOCK Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com> --- specifications/ewd687a/EWD687a_anim.cfg | 3 --- 1 file changed, 3 deletions(-) diff --git a/specifications/ewd687a/EWD687a_anim.cfg b/specifications/ewd687a/EWD687a_anim.cfg index e347ee2e..19a9d4bf 100644 --- a/specifications/ewd687a/EWD687a_anim.cfg +++ b/specifications/ewd687a/EWD687a_anim.cfg @@ -38,6 +38,3 @@ CHECK_DEADLOCK ACTION_CONSTRAINT NoSuperfluousIdleSteps -CHECK_DEADLOCK - FALSE -