Fixed bug in pointsto.cc where unnecessary data was printed