Changes for galois porting

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

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 4b9fac3ad448af332cf79028aa20edbbc44ed5bc..e40b1d045474ed3671e61e6743d61c4235eefdef 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -407,6 +407,10 @@ NextMethod:
 
       return false;
     }
+    
+    // Object is superclass of interfaces
+    if(possiblesuper.getSymbol().equals(ObjectClass)&&cd2.isClass()&&cd2.getClassDesc().isInterface())
+      return true;
 
     if (possiblesuper.isClass()&&
         cd2.isClass())