From daafa858cceda87dad9e465b63149cfb04c730fd Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 24 Oct 2007 23:05:33 +0000
Subject: [PATCH] Change semantics of isPtr to also allow Array objects.  It
 seems we alway do an || with isArray everytime it is used.

---
 Robust/src/IR/TypeDescriptor.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index e82e8b53..04a717ed 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -188,7 +188,7 @@ public class TypeDescriptor extends Descriptor {
     }
 
     public boolean isPtr() {
-	return (isClass()||isNull()||isTag());
+	return (isClass()||isNull()||isTag()||isArray());
     }
 
     public boolean isIntegerType() {
-- 
2.34.1