bug fix

diff --git a/Robust/src/IR/Flat/BuildCode.java b/Robust/src/IR/Flat/BuildCode.java
index 01801a6539b7ca6af6e380ca11bbff3e8dadf9af..938f43a201f011c014b374fce4fabde91922e3fe 100644 (file)
--- a/Robust/src/IR/Flat/BuildCode.java
+++ b/Robust/src/IR/Flat/BuildCode.java
@@ -1551,7 +1551,7 @@ public class BuildCode {
 
     for(int i=0; i<fields.size(); i++) {
       FieldDescriptor fd=(FieldDescriptor)fields.get(i);
-      String fstring = (fd.getClassDescriptor()==null?"":fd.getClassDescriptor().getSymbol()) + fd.getSymbol();
+      String fstring = fd.getSymbol();
       if(printedfieldstbl.containsKey(fstring)) {
         printedfieldstbl.put(fstring, cn);
         continue;