From 1c13e17ba7a58768b6ab1d909c603e237201df98 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Feb 2011 01:24:46 +0000
Subject: [PATCH] commit bug fix

---
 Robust/src/IR/FieldDescriptor.java | 7 +++++++
 1 file changed, 7 insertions(+)

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;
-- 
2.34.1