Retooled edges and basic stuff is working again (finally) but reachability needs...

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

diff --git a/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java b/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
index 0263143e26850de7f9ff128d33328666811b3498..3c14a6cc9bc2a9925dc4e753907825b0391d5b04 100644 (file)
--- a/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/HeapRegionNode.java
@@ -12,7 +12,7 @@ public class HeapRegionNode extends OwnershipNode {
     protected boolean isFlagged;
     protected boolean isNewSummary;
 
-    protected HashSet<ReferenceEdge>  referencers;
+    protected HashSet<ReferenceEdge> referencers;
 
     protected AllocationSite allocSite;