more code cleanup
authorbdemsky <bdemsky>
Wed, 2 Mar 2011 23:20:17 +0000 (23:20 +0000)
committerbdemsky <bdemsky>
Wed, 2 Mar 2011 23:20:17 +0000 (23:20 +0000)
commit01c8789ff554f104d02ce7d998d730a454af797e
tree8ca9798e593e1be2b4464126de2eace692835cb4
parentb4dcf05f9bd8d277bcdf3dbe87f7894dcd920bbc
more code cleanup
Robust/src/Analysis/Pointer/Pointer.java