diff --git a/Util/GraphLoader.h b/Util/GraphLoader.h index c67ed63f5..45c52f7da 100644 --- a/Util/GraphLoader.h +++ b/Util/GraphLoader.h @@ -336,7 +336,7 @@ NodeID readDDSGGraphFromStream(istream &in, vector& edgeList, vector(edgeList.begin(), edgeList.end()).swap(edgeList); //remove excess candidates. + vector(edgeList.begin(), edgeList.end()).swap(edgeList); //remove excess candidates. cout << "ok" << endl; std::cout << "imported " << numberOfNodes << " nodes and " << edgeList.size() << " edges" << std::endl; nodeMap.clear();