make static fields work

diff --git a/Robust/src/IR/FieldDescriptor.java b/Robust/src/IR/FieldDescriptor.java
index 09e5549375cfea2809c2281d6948f5293bf9047c..337ddde0caa8757feeddb756fdb5555c6334091f 100644 (file)
--- a/Robust/src/IR/FieldDescriptor.java
+++ b/Robust/src/IR/FieldDescriptor.java
@@ -44,7 +44,7 @@ public class FieldDescriptor extends Descriptor {
 
   public String getSafeSymbol() {
     if (isStatic()) {
-      cn.getSafeSymbol()+safename;
+      return cn.getSafeSymbol()+safename;
     } else
       return safename;
   }