Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision 46577995860f76c247274a43eb6f67b944f0d3a8)
+++ kernel/generic/src/debug/symtab.c	(revision 3b47db687606b55f2694aaa5c4c6db563b5b61eb)
@@ -98,8 +98,8 @@
 	errno_t rc = symtab_name_lookup(addr, &name, NULL);
 	
-	switch ((case_errno_t) rc) {
-	case (case_errno_t) EOK:
+	switch (rc) {
+	case EOK:
 		return name;
-	case (case_errno_t) ENOENT:
+	case ENOENT:
 		return "unknown";
 	default: