make sure strong updates do not affect benchmark results, currently

[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipGraph.java

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index 3af151cec76a0cfcc7e9620c8e0e6af34394b345..95c7c4f0a247ad8c8d4c54ec6e47d5f51fbad8ed 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -427,13 +427,6 @@ public class OwnershipGraph {
        ReferenceEdge edgeY = itrYhrn.next();
        HeapRegionNode hrnY = edgeY.getDst();
 
-
-
-       // THIS IS WRONG!!!!  It doesn't always have to be a single object
-       // heap region, not when there is only one reference into the source
-       // heap region (I think!)  CHECK AND CHANGE!
-
-
        // we can do a strong update here if one of two cases holds     
        if( f != null &&
            hrnX.isSingleObject() &&