DTraits = DOTTraits(SN);
}
- void writeGraph(bool ShortNames = false,
- const std::string &Title = "") {
+ void writeGraph(const std::string &Title = "") {
// Output the header for the graph...
writeHeader(Title);
GraphWriter<GraphType> W(O, G, ShortNames);
// Emit the graph.
- W.writeGraph(ShortNames, Title);
+ W.writeGraph(Title);
return O;
}