From 33e32e6fec41fc064cfdbf4fb4ad486a25e3d130 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 20 Feb 2009 22:43:33 +0000
Subject: [PATCH] fix Jim's bug

---
 Robust/src/IR/TypeUtil.java | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Robust/src/IR/TypeUtil.java b/Robust/src/IR/TypeUtil.java
index 019e3130..4bdc79e6 100644
--- a/Robust/src/IR/TypeUtil.java
+++ b/Robust/src/IR/TypeUtil.java
@@ -117,8 +117,12 @@ public class TypeUtil {
       if (!this.isSuperorType(md2.getParamType(i), md1.getParamType(i)))
 	return false;
     }
-    if (!this.isSuperorType(md2.getReturnType(), md1.getReturnType()))
-      return false;
+    if (md1.getReturnType()==null||md2.getReturnType()==null) {
+	if (md1.getReturnType()!=md2.getReturnType())
+	    return false;
+    } else
+	if (!this.isSuperorType(md2.getReturnType(), md1.getReturnType()))
+	    return false;
 
     if (!this.isSuperorType(md2.getClassDesc(), md1.getClassDesc()))
       return false;
-- 
2.34.1