Index: kernel/generic/src/cap/cap.c
===================================================================
--- kernel/generic/src/cap/cap.c	(revision e68765ee99cd285c57aa4a30d7ac3dfd1598259c)
+++ kernel/generic/src/cap/cap.c	(revision 63d8f43468baaa1f20964c35b3aea13f36dd3e2c)
@@ -102,5 +102,5 @@
 	assert(handle >= 0);
 	assert(handle < MAX_CAPS);
-	assert(task->caps[handle].type != CAP_TYPE_INVALID);
+	assert(task->caps[handle].type == CAP_TYPE_ALLOCATED);
 
 	irq_spinlock_lock(&task->lock, true);