some bug fix

[IRC.git] / Robust / src / IR / TypeDescriptor.java

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index c306e4b4e4687fd1f86369b0ad4e0aed078de289..ff7efd91c48259a9615b98dedfc9266309aad4be 100644 (file)
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -34,8 +34,6 @@ public class TypeDescriptor extends Descriptor {
        return false;
       if ((type==CLASS)&&(!t.getSymbol().equals(getSymbol())))
        return false;
-      if (isStatic != t.isStatic)
-        return false;
       if (t.arraycount!=arraycount)
        return false;
       return true;