#include "Support/STLExtras.h"
#include <algorithm>
#include <sstream>
-#include <iostream>
using std::map;
using std::string;
void DSNode::removeReferrer(PointerValSet *PVS) {
std::vector<PointerValSet*>::iterator I = std::find(Referrers.begin(),
- Referrers.end(), PVS);
+ Referrers.end(), PVS);
assert(I != Referrers.end() && "PVS not pointing to node!");
Referrers.erase(I);
}