bug fix: The result of the pointer analysis is broken when it tries to do something...
[IRC.git] / Robust / src / Analysis / Pointer / PPoint.java
2011-03-02 bdemskychanges towards making this work