--- np2/i386c/ia32/exception.c	2011/01/15 17:17:23	1.22
+++ np2/i386c/ia32/exception.c	2011/01/15 18:36:12	1.23
@@ -345,8 +345,6 @@ interrupt_task_gate(const descriptor_t *
 
 	VERBOSE(("interrupt: TASK-GATE"));
 
-	(void)intrtype;
-
 	rv = parse_selector(&task_sel, gsdp->u.gate.selector);
 	if (rv < 0 || task_sel.ldt || !SEG_IS_SYSTEM(&task_sel.desc)) {
 		VERBOSE(("interrupt: parse_selector (selector = %04x, rv = %d, %cDT, type = %s)", gsdp->u.gate.selector, rv, task_sel.ldt ? 'L' : 'G', task_sel.desc.s ? "code/data" : "system"));