fix problems of shared loc extension
authoryeom <yeom>
Thu, 1 Dec 2011 20:38:19 +0000 (20:38 +0000)
committeryeom <yeom>
Thu, 1 Dec 2011 20:38:19 +0000 (20:38 +0000)
commit8c2890bf00bb5ab0be44c3900d7e38e15ae2343a
treec87152b857fb8b1d1ba4df91787ba5beaa3a4a62
parent4d83008119b742748914ee8e2aeba801cbdb3bd9
fix problems of shared loc extension
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
Robust/src/Analysis/SSJava/SharedLocMap.java