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 ddc507256b23d356446aaa61fb54d524b74cab4e..05a51adef7d6eac400960a6bba715791cf87ed57 100644 (file)
--- 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;
   }