Ticket #5506: fix.patch

File fix.patch, 557 bytes (added by Tomasz Kowalski <pootek@…>, 11 years ago)

Patch to fix the bug

  • boost/graph/graphml.hpp

    old new  
    263263    {
    264264        std::string key_id = "key" + lexical_cast<std::string>(key_count++);
    265265        if (i->second->key() == typeid(Graph))
    266             vertex_key_ids[i->first] = key_id;
     266            graph_key_ids[i->first] = key_id;
    267267        else if (i->second->key() == typeid(vertex_descriptor))
    268268            vertex_key_ids[i->first] = key_id;
    269269        else if (i->second->key() == typeid(edge_descriptor))