diff options
Diffstat (limited to 'src/third_party/boost-1.56.0/boost/checked_delete.hpp')
| -rw-r--r-- | src/third_party/boost-1.56.0/boost/checked_delete.hpp | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/third_party/boost-1.56.0/boost/checked_delete.hpp b/src/third_party/boost-1.56.0/boost/checked_delete.hpp deleted file mode 100644 index fb71c789c8d..00000000000 --- a/src/third_party/boost-1.56.0/boost/checked_delete.hpp +++ /dev/null @@ -1,17 +0,0 @@ -/* - * Copyright (c) 2014 Glen Fernandes - * - * Distributed under the Boost Software License, Version 1.0. (See - * accompanying file LICENSE_1_0.txt or copy at - * http://www.boost.org/LICENSE_1_0.txt) - */ - -#ifndef BOOST_CHECKED_DELETE_HPP -#define BOOST_CHECKED_DELETE_HPP - -// The header file at this path is deprecated; -// use boost/core/checked_delete.hpp instead. - -#include <boost/core/checked_delete.hpp> - -#endif |