commit d56e1f3ab3e633e47cdd0b13cd70d0b1423b876b Author: Jonathan Wakely Date: Tue Jun 19 17:21:07 2018 +0100 Remove unused header from This header was needed for the declaration of std::terminate but the calls to it were removed in r242401. * include/std/utility: Remove unused header. diff --git a/libstdc++-v3/include/std/utility b/libstdc++-v3/include/std/utility index 17e7d4cbe7a..273c0f838b8 100644 --- a/libstdc++-v3/include/std/utility +++ b/libstdc++-v3/include/std/utility @@ -75,10 +75,6 @@ #include #include -#if __cplusplus > 201402L -#include -#endif - namespace std _GLIBCXX_VISIBILITY(default) { _GLIBCXX_BEGIN_NAMESPACE_VERSION