From 0f69db08841a361b3cd3aadbdb8f6a48d48d1efb Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 25 Feb 2011 00:51:21 +0000
Subject: [PATCH] change

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

diff --git a/Robust/src/IR/FieldDescriptor.java b/Robust/src/IR/FieldDescriptor.java
index 26b47179..763d252c 100644
--- a/Robust/src/IR/FieldDescriptor.java
+++ b/Robust/src/IR/FieldDescriptor.java
@@ -82,6 +82,10 @@ public class FieldDescriptor extends Descriptor {
     return td;
   }
 
+	public void changeSafeSymbol(int id) {
+		safename+=id;
+	}
+	
   public String toString() {
     if (en==null)
       return modifier.toString()+td.toString()+" "+getSymbol()+";";
-- 
2.34.1