Retain properties of edges that are mapped from callee to a caller graph.

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
index a39a11293d748b61c09999d714327ac087c7e774..fc5cb76a998a2e11fc74e2d7e197cea22b1927a3 100644 (file)
--- 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() );
                        }
                    }
                }