From ee7ff1810dbe2afd25cbefe05540451cb237267f Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 28 Mar 2008 17:57:21 +0000
Subject: [PATCH] Retain properties of edges that are mapped from callee to a
 caller graph.

---
 Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index a39a1129..fc5cb76a 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
@@ -548,8 +548,7 @@ public class OwnershipGraph {
 			while( dstItr.hasNext() ) {
 			    HeapRegionNode dst = (HeapRegionNode) dstItr.next();
 
-			    ReferenceEdgeProperties rep = new ReferenceEdgeProperties();
-			    addReferenceEdge( src, dst, rep );
+			    addReferenceEdge( src, dst, repC.copy() );
 			}
 		    }
 		}
-- 
2.34.1