fix a bug introducing redundant method entries for analysis
authoryeom <yeom>
Mon, 11 Jul 2011 22:26:43 +0000 (22:26 +0000)
committeryeom <yeom>
Mon, 11 Jul 2011 22:26:43 +0000 (22:26 +0000)
commit5b08d8a1dc1163ea71c34e0cf22316d9b5e8902d
tree67ff6ca4daefc961914aa0425cbe250a10e7fa51
parent4f0ae65ae50c85ad88d00bf7e14c31a458ea7c56
fix a bug introducing redundant method entries for analysis
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java