From: jjenista <jjenista>
Date: Tue, 12 Aug 2008 23:12:32 +0000 (+0000)
Subject: Bug fix and makefile update
X-Git-Tag: buildscript^4~32
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cb26963e774fafb8f40db5d05e052d0261104ad8;p=IRC.git

Bug fix and makefile update
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index 611234b7..34437c35 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -840,6 +840,7 @@ public class OwnershipGraph {
     }
     */
 
+    /*
     protected void ageTokens( AllocationSite as, ReferenceEdgeProperties rep ) {
 	rep.setBeta( rep.getBeta().ageTokens( as ) );
     }
@@ -855,7 +856,7 @@ public class OwnershipGraph {
     protected void majorAgeTokens( AllocationSite as, HeapRegionNode hrn ) {
 	//hrn.setAlpha( hrn.getAlpha().majorAgeTokens( as ) );
     }
-
+    */
     
     // some notes:
     // the heap regions that are specially allocated as multiple-object
diff --git a/Robust/src/Makefile b/Robust/src/Makefile
index 2ec41852..6ec4ddd4 100644
--- a/Robust/src/Makefile
+++ b/Robust/src/Makefile
@@ -78,7 +78,7 @@ Analysis/OwnershipAnalysis/OwnershipGraph.class                         \
 Analysis/OwnershipAnalysis/OwnershipNode.class                          \
 Analysis/OwnershipAnalysis/LabelNode.class                              \
 Analysis/OwnershipAnalysis/HeapRegionNode.class                         \
-Analysis/OwnershipAnalysis/ReferenceEdgeProperties.class                \
+Analysis/OwnershipAnalysis/ReferenceEdge.class                          \
 Analysis/OwnershipAnalysis/AllocationSite.class                         \
 Analysis/OwnershipAnalysis/TokenTuple.class                             \
 Analysis/OwnershipAnalysis/TokenTupleSet.class                          \