Ticket #5506: fix.patch
File fix.patch, 557 bytes (added by , 11 years ago) |
---|
-
boost/graph/graphml.hpp
old new 263 263 { 264 264 std::string key_id = "key" + lexical_cast<std::string>(key_count++); 265 265 if (i->second->key() == typeid(Graph)) 266 vertex_key_ids[i->first] = key_id;266 graph_key_ids[i->first] = key_id; 267 267 else if (i->second->key() == typeid(vertex_descriptor)) 268 268 vertex_key_ids[i->first] = key_id; 269 269 else if (i->second->key() == typeid(edge_descriptor))