code cleanup
authorbdemsky <bdemsky>
Wed, 2 Mar 2011 22:53:45 +0000 (22:53 +0000)
committerbdemsky <bdemsky>
Wed, 2 Mar 2011 22:53:45 +0000 (22:53 +0000)
commitb4dcf05f9bd8d277bcdf3dbe87f7894dcd920bbc
tree0ff666cb4c77c3edeb1873a777f645bdedb37ad4
parent647ba9eea1e5a5099f4db2f4df6546d68c92ff00
code cleanup
Robust/src/Analysis/Pointer/Pointer.java