1 files changed, 1 insertions, 1 deletions
diff --git a/src/irq.c b/src/irq.c
index 73ae88d..bc9e2de 100644
--- a/src/irq.c
+++ b/src/irq.c
@@ -55,7 +55,7 @@ stat_t unregister_irq(struct tcb *t, irq_t id)
 void handle_irq()
 {
 	irq_t id = get_irq();
-	hard_assert(id < max_irq, RETURN_VOID);
+	assert(id < max_irq);
 
 	id_t tid = irq_map[id];