Commit 2dd0e5ce authored by Jeff Trull's avatar Jeff Trull

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...
parent 682b4f46
...@@ -805,8 +805,7 @@ class mutate_graph_impl : public mutate_graph ...@@ -805,8 +805,7 @@ class mutate_graph_impl : public mutate_graph
{ {
if (m_ignore_gp.find(key) != m_ignore_gp.end()) if (m_ignore_gp.find(key) != m_ignore_gp.end())
return; return;
/* RG: pointer to graph prevents copying */ put(key, dp_, graph_property_tag(), value);
put(key, dp_, &graph_, value);
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment