commit bug fix

diff --git a/Robust/src/IR/FieldDescriptor.java b/Robust/src/IR/FieldDescriptor.java
index 763d252c6ea619bfa1670d4d26ae85e79f827403..09e5549375cfea2809c2281d6948f5293bf9047c 100644 (file)
--- 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;