From 2dd0e5cea53063dfa3912ac8ec28eb6c4e53078a Mon Sep 17 00:00:00 2001 From: Jeff Trull Date: Mon, 17 Aug 2020 21:24:30 -0700 Subject: [PATCH] Fix dot graph reader The correct type for the dynamic property map key is actually graph_property_tag, not multigraph_t*. It looks like graph property maps only store a single value... --- src/boost-workaround/boost/graph/graphviz.hpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/boost-workaround/boost/graph/graphviz.hpp b/src/boost-workaround/boost/graph/graphviz.hpp index c553edae..f748ecc0 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); } -- GitLab