--- a/console.c	Tue May 03 00:11:30 2005 +0000
+++ b/console.c	Tue May 03 11:14:06 2005 +0000
@@ -272,8 +272,6 @@
 			_iconsole_win->height = _screen.height - ICON_BOTTOM_BORDERWIDTH;
 			_iconsole_win->width = _screen.width;
 			break;
-		default:
-			NOT_REACHED();
 	}
 
 	MarkWholeScreenDirty();