From c3bb972996228cacc63a2093969ec4b323f2ca99 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Thu, 25 Mar 2010 21:03:06 +0000
Subject: [PATCH] fixing the heap region descriptions not a pressing issue...

---
 Robust/src/Analysis/Disjoint/HeapRegionNode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/Disjoint/HeapRegionNode.java b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
index ddc50725..05a51ade 100644
--- a/Robust/src/Analysis/Disjoint/HeapRegionNode.java
+++ b/Robust/src/Analysis/Disjoint/HeapRegionNode.java
@@ -120,7 +120,7 @@ public class HeapRegionNode extends RefSrcNode {
     assert isFlagged      == hrn.isFlagged();
     assert isNewSummary   == hrn.isNewSummary();
     assert isOutOfContext == hrn.isOutOfContext();
-    assert description.equals( hrn.getDescription() );
+    //assert description.equals( hrn.getDescription() );
 
     return true;
   }
-- 
2.34.1