From 0de72543202fdde06d8e57d557c6ebd9a9c2f100 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 13 May 2011 20:15:56 +0000
Subject: [PATCH] isImmutable is used by the disjoint family of analyses and we
 added string because we know its immutable and wanted to decrease the size of
 reach graphs.  To support the check-heap-results-versus-runtime system, go
 ahead a leave string out which is still a correct analysis but will also
 generate points-to information for a string and its byte array

---
 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 3cf65385..dfaf3550 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -282,7 +282,7 @@ public class TypeDescriptor extends Descriptor {
   }
 
   public boolean isImmutable() {
-    return isPrimitive() || isString();
+    return isPrimitive();
   }
 
   public TypeDescriptor(NameDescriptor name) {
-- 
2.34.1