more bug fixes
authorbdemsky <bdemsky>
Sun, 27 Mar 2011 06:36:05 +0000 (06:36 +0000)
committerbdemsky <bdemsky>
Sun, 27 Mar 2011 06:36:05 +0000 (06:36 +0000)
commita2da1ab50717cb4287fc501d9eb80f62ac4f3043
tree9fc2e022e0c65b1b4fa5d36079c8ad5d4c8ca8d4
parentb2fad11b23320ff0b0be450cbd4859dd0795020e
more bug fixes
Robust/src/Analysis/Pointer/Pointer.java