diff --git a/lib/hdb/keys.c b/lib/hdb/keys.c
index b9f294e2e..c665ed420 100644
--- a/lib/hdb/keys.c
+++ b/lib/hdb/keys.c
@@ -271,9 +271,6 @@ hdb_generate_key_set(krb5_context context, krb5_principal principal,
     if (ktypes == NULL)
 	ktypes = default_keytypes;
 
-    if (ktypes == NULL)
-	abort();
-
     *ret_key_set = key_set = NULL;
     *nkeyset = 0;