From: jjenista <jjenista>
Date: Thu, 25 Mar 2010 21:03:06 +0000 (+0000)
Subject: fixing the heap region descriptions not a pressing issue...
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c3bb972996228cacc63a2093969ec4b323f2ca99;p=IRC.git

fixing the heap region descriptions not a pressing issue...
---

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;
   }