Bug fix, field matching for fields that model array element references weren't matchi...
authorjjenista <jjenista>
Mon, 9 Mar 2009 23:46:24 +0000 (23:46 +0000)
committerjjenista <jjenista>
Mon, 9 Mar 2009 23:46:24 +0000 (23:46 +0000)
commit5cb7aecb2b45974805242908a00b901e9edfcae7
tree7482b105b9e6ac728f27233a070f1ad23846c258
parentded65aa44199e9883d0e922bb8619751cf607759
Bug fix, field matching for fields that model array element references weren't matching properly before
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java