From d8fd6c8ce73cf3e9d31611430a0443151e921931 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sun, 5 Jun 2011 08:23:44 +0000
Subject: [PATCH] another bug fix

---
 Robust/src/IR/Flat/BuildCode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 1cc26c64..c0e5bd47 100644
--- 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");
 
-- 
2.34.1