@@ -721,13 +721,10 @@ * Java-level name. If the type ID cannot be mapped to a name, raise an * error. */ String type(String id) { String result = types.get(id); - if (result == null) { - reportInternalError(id); - } String remapped = type2printableMap.get(result); if (remapped != null) { return remapped; } return result;