Fix implementation to use little d when possible, and big D only if there's no other...
authorjjenista <jjenista>
Thu, 25 Sep 2008 22:10:15 +0000 (22:10 +0000)
committerjjenista <jjenista>
Thu, 25 Sep 2008 22:10:15 +0000 (22:10 +0000)
commit5e65430854c0870bfa76bdadb0942845cd984f07
treedc6d1220d3e9d069acc22f21f63ea3fce292bae2
parent001c48225c8b3a820d1408bf22bfa1ca0ece5279
Fix implementation to use little d when possible, and big D only if there's no other choice
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java