From 83f2295f558de624ab91abc5e2d4512c1927e108 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Feb 2011 00:50:30 +0000
Subject: [PATCH] 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 01801a65..938f43a2 100644
--- 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;
-- 
2.34.1