Ticket #9493: boost_labeled_graph_fix.patch

graph/labeled_graph.hpp

@@ -223 +223 @@
     { return put_vertex_label(c, g, l, v, container_category(c)); }
     //@}
 
+    /** @name Remove Labeled Vertex */
+    //@{
+    template <typename Container, typename Label, typename Graph>
+    void remove_labeled_vertex(Container& c, Graph& g, Label const& l)
+    {
+      typename Container::iterator c_it = c.find(l);
+      if (c_it != c.end()) {
+        boost::remove_vertex(c_it->second, g);
+        c.erase(c_it);
+      }
+    }
+    //@}
+
 } // namespace detail
 
 struct labeled_graph_class_tag { };
@@ -385 +398 @@
 
     /** Remove the vertex with the given label. */
     void remove_vertex(Label const& l)
-    { return boost::remove_vertex(vertex(l), _graph); }
+    { return graph_detail::remove_labeled_vertex(_map, _graph, l); }
 
     /** Return a descriptor for the given label. */
     vertex_descriptor vertex(Label const& l) const