Remove unneeded header

This commit is contained in:
Ion Gaztañaga committed 2024-06-13 22:46:23 +02:00
1 parent 7c9fb0d764
commit acd4f41eda
1 file changed
-1
@@ -26,7 +26,6 @@
#include <boost/move/utility_core.hpp>
#include <boost/container/detail/pair.hpp>
#include <boost/container/vector.hpp>
#include <boost/container/allocator_traits.hpp>