change

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