X-Git-Url: http://deadsoftware.ru/gitweb?p=dsw-obn.git;a=blobdiff_plain;f=src%2Fbackends%2Fjvm%2Fgenerator-jvm-basic.c;h=d092f8e799aa1d38af2f368cb0d5840026fb1329;hp=5fabc3171bf03787173e193640811e552934bd4a;hb=961fbb99dcba21ccb737db16c0cdb28d757a2de7;hpb=31b71df908daa914198e78a0f43cf0a3965878dd

diff --git a/src/backends/jvm/generator-jvm-basic.c b/src/backends/jvm/generator-jvm-basic.c
index 5fabc31..d092f8e 100644
--- a/src/backends/jvm/generator-jvm-basic.c
+++ b/src/backends/jvm/generator-jvm-basic.c
@@ -190,6 +190,7 @@ jvm_get_field_full_name(oberon_object_t * x)
 	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);