bug fix.
authoryeom <yeom>
Mon, 3 Oct 2011 00:28:08 +0000 (00:28 +0000)
committeryeom <yeom>
Mon, 3 Oct 2011 00:28:08 +0000 (00:28 +0000)
commitf30751a0e91b1262a9eb775ef2fe008150e5345f
tree4b92003dbbfca92f78bcb13bfcfd92053880ad66
parent0e648e45866f1a258cffb8147d5bde92420fdbde
bug fix.
Robust/src/Analysis/SSJava/DefinitelyWrittenCheck.java
Robust/src/Analysis/SSJava/FlowDownCheck.java