From 1a94b5318e571c370a3073a96c8f82d45986bf45 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 7 Apr 2009 22:18:50 +0000
Subject: [PATCH] fix for alokika's bug

---
 Robust/src/IR/TypeUtil.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index f80b2a77..df0a163e 100644
--- 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;
     }
 
-- 
2.34.1