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
-