fix for alokika's bug

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index f80b2a77f0e8fe7cd870a538e148377cc2b12357..df0a163e32a299fdf9fc7505938fece1e85fbc95 100644 (file)
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -232,6 +232,10 @@ NextMethod:
           &&(possiblesuper.getArrayCount()<cd2.getArrayCount()))
        return true;
 
+      //Allow arraytype=null statements
+      if (possiblesuper.isArray()&&cd2.isNull())
+       return true;
+
       return false;
     }