another bug fix

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 1cc26c6418478d596ff04489f27365aa7facfe6c..c0e5bd474fc4d3eda0deacc91bff61d3fc28699e 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1958,7 +1958,7 @@ fldloop:
         outmethod.print(md.getReturnType().getSafeSymbol()+" retval=");
     }
     outmethod.print("Java_");
-    outmethod.print(cd.getPackage().replace('.','_'));
+    outmethod.print(cd.getPackage().replace('.','_')+"_"+cd.getClassName().replace('.','_'));
     outmethod.print("_"+md.getSymbol()+"(");
     outmethod.print("JNI_vtable, rec");