diff --git a/src/compiler.c b/src/compiler.c
index c33b81c..36b6b5b 100644
--- a/src/compiler.c
+++ b/src/compiler.c
@@ -758,7 +758,6 @@ claimCreate (const System sys, const Protocol protocol, const Role role,
   checkParameterRange (cl, CLAIM_Weakagree, 0, 0);
   checkParameterRange (cl, CLAIM_Nisynch, 0, 0);
   checkParameterRange (cl, CLAIM_Niagree, 0, 0);
-  checkParameterRange (cl, CLAIM_Empty, 0, 0);
   checkParameterRange (cl, CLAIM_Reachable, 0, 0);
   checkParameterRange (cl, CLAIM_SID, 1, -1);