2
0
mirror of https://github.com/boostorg/mpi.git synced 2026-02-22 03:22:29 +00:00

Merge pull request #90 from boostorg/bugfix/property_map_dep

remove dependency on property_map
This commit is contained in:
Alain Miniussi
2019-06-11 18:35:35 +02:00
committed by GitHub

View File

@@ -28,7 +28,6 @@
// Headers required to implement graph topologies
#include <boost/graph/graph_traits.hpp>
#include <boost/graph/properties.hpp>
#include <boost/property_map/property_map.hpp>
#include <boost/iterator/counting_iterator.hpp>
#include <boost/graph/iteration_macros.hpp>
#include <boost/shared_array.hpp>