From 60aa4513069fa0460a981ed4e6f6c22e44d95d2c Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 4 Aug 2008 08:00:54 +0000
Subject: [PATCH] Bug correction

---
 Robust/src/IR/TypeDescriptor.java | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 06c7bdd5..bcafc03b 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -30,7 +30,7 @@ public class TypeDescriptor extends Descriptor {
 	    TypeDescriptor t=(TypeDescriptor)o;
 	    if (t.type!=type)
 		return false;
-	    if ((type==CLASS)&&(t.class_desc!=class_desc))
+	    if ((type==CLASS)&&(!t.getSymbol().equals(getSymbol())))
 		return false;
 	    if (t.arraycount!=arraycount)
 		return false;
@@ -253,9 +253,19 @@ public class TypeDescriptor extends Descriptor {
     }
 
     public String toString() {
-	if (type==CLASS)
+	if (type==CLASS) {
 	    return name;
-	else 
+	} else 
+	    return decodeInt(type);
+    }
+
+    public String toPrettyString() {
+	if (type==CLASS) {
+	    String str=name;
+	    for(int i=0;i<arraycount;i++)
+		str+="[]";
+	    return str;
+	} else 
 	    return decodeInt(type);
     }
 
-- 
2.34.1