minor cleanups. no semantic change

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4047 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2011-02-03 15:00:56 +00:00
parent c4082442f2
commit 29b114928e
1 changed files with 727 additions and 684 deletions