index 24c28b057429313018bf1529c64154c1e2a27825..88de2e2292119fbe5c8a4b090caee7c1051bc526 100644 (file)
return jvm_get_class_full_name(type);
break;
case OBERON_TYPE_ARRAY:
- return new_string("A%sX", jvm_get_descriptor_safe(type -> base));
+ return new_string("A%s", jvm_get_descriptor_safe(type -> base));
break;
default:
return jvm_get_descriptor(type);