From: bdemsky <bdemsky>
Date: Fri, 25 Feb 2011 01:24:46 +0000 (+0000)
Subject: commit bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=1c13e17ba7a58768b6ab1d909c603e237201df98;p=IRC.git

commit bug fix
---

diff --git a/Robust/src/IR/FieldDescriptor.java b/Robust/src/IR/FieldDescriptor.java
index 763d252c..09e55493 100644
--- a/Robust/src/IR/FieldDescriptor.java
+++ b/Robust/src/IR/FieldDescriptor.java
@@ -41,6 +41,13 @@ public class FieldDescriptor extends Descriptor {
   public void setClassDescriptor(ClassDescriptor cn) {
     this.cn = cn;
   }
+
+  public String getSafeSymbol() {
+    if (isStatic()) {
+      cn.getSafeSymbol()+safename;
+    } else
+      return safename;
+  }
   
   public boolean isEnum() {
     return this.isenum;