clear external vector after use, closes #1131

2014-07-28 16:15:21 +02:00
parent 2bebed44ff
commit 5860a4e28e
1 changed files with 1 additions and 0 deletions
@@ -604,6 +604,7 @@ class Contractor
        BOOST_ASSERT(0 == orig_node_id_to_new_id_map.capacity());

        edges.append(external_edge_list.begin(), external_edge_list.end());
+        external_edge_list.clear();
    }

  private: