little bug fix
authorjjenista <jjenista>
Tue, 29 Jun 2010 17:53:08 +0000 (17:53 +0000)
committerjjenista <jjenista>
Tue, 29 Jun 2010 17:53:08 +0000 (17:53 +0000)
commit16f0b98a3e32639e5365e51ac8ac63795a1ab34b
tree71fcaf21e3f96cd0b709ad4b0d31dc35381ba62e
parentdbc671bc1c6957945000ca681aa9c0af4c0b9515
little bug fix
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Tests/disjoint/taintTest1/test.java