diff --git a/src/boost-workaround/boost/graph/graphviz.hpp b/src/boost-workaround/boost/graph/graphviz.hpp index c553edae8e10379b8f631bdc2209a3af124360ba..f748ecc0e970df6fa37a9c26a79dc35b699e4309 100644 --- a/src/boost-workaround/boost/graph/graphviz.hpp +++ b/src/boost-workaround/boost/graph/graphviz.hpp @@ -805,8 +805,7 @@ class mutate_graph_impl : public mutate_graph { if (m_ignore_gp.find(key) != m_ignore_gp.end()) return; - /* RG: pointer to graph prevents copying */ - put(key, dp_, &graph_, value); + put(key, dp_, graph_property_tag(), value); }