minor changes
authoryeom <yeom>
Fri, 25 Sep 2009 17:29:56 +0000 (17:29 +0000)
committeryeom <yeom>
Fri, 25 Sep 2009 17:29:56 +0000 (17:29 +0000)
commit53ecca0f78f5dc04ee02e5bef63d031211c8d222
tree82c4d1411cbd7f205d23ff8b1b43b251f25ba7f9
parentc0d6800748cf296e4d8d3c5a0dc44a0bf06f6c4f
minor changes
Robust/src/Analysis/OwnershipAnalysis/EffectsKey.java
Robust/src/Analysis/OwnershipAnalysis/EffectsSet.java