index 5fabc3171bf03787173e193640811e552934bd4a..d092f8e799aa1d38af2f368cb0d5840026fb1329 100644 (file)
switch(x -> class)
{
case OBERON_CLASS_VAR:
+ case OBERON_CLASS_PROC:
return new_string("%s/%s", x -> module -> name, x -> name);
case OBERON_CLASS_FIELD:;
char * rec_name = jvm_get_class_full_name(x -> parent_type);