From 8c65a5b0e8f03ba8eaa7bcb209f3ff5c2d6519a2 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Thu, 26 Jan 2023 19:18:44 +0200
Subject: [PATCH] Work around g++ 4.6 failure

---
 include/boost/core/memory_resource.hpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/include/boost/core/memory_resource.hpp b/include/boost/core/memory_resource.hpp
index 38a40f6..db29349 100644
--- a/include/boost/core/memory_resource.hpp
+++ b/include/boost/core/memory_resource.hpp
@@ -13,6 +13,7 @@
 
 #include <boost/core/max_align.hpp>
 #include <boost/config.hpp>
+#include <boost/config/workaround.hpp>
 #include <cstddef>
 #include <new>
 
@@ -25,7 +26,7 @@ class memory_resource
 {
 public:
 
-#if defined(BOOST_NO_CXX11_DEFAULTED_FUNCTIONS)
+#if defined(BOOST_NO_CXX11_DEFAULTED_FUNCTIONS) || BOOST_WORKAROUND(BOOST_GCC, < 40700)
 
     virtual ~memory_resource() {}