PKGBUILDs/community/polymake/gcc7.patch

14 lines
510 B
Diff
Raw Normal View History

2017-06-06 12:26:37 +00:00
--- lib/core/include/Graph.h.orig 2017-03-28 03:30:14.000000000 -0600
+++ lib/core/include/Graph.h 2017-03-28 21:33:36.040286583 -0600
@@ -709,8 +709,8 @@ public:
void swap(Table& t)
{
std::swap(R,t.R);
- std::swap(node_maps, t.node_maps);
- std::swap(edge_maps, t.edge_maps);
+ node_maps.swap(t.node_maps);
+ edge_maps.swap(t.edge_maps);
std::swap(n_nodes, t.n_nodes);
std::swap(free_node_id, t.free_node_id);
std::swap(free_edge_ids, t.free_edge_ids);