diff options
Diffstat (limited to 'contrib/src/boost/checked_delete.hpp')
-rw-r--r-- | contrib/src/boost/checked_delete.hpp | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/contrib/src/boost/checked_delete.hpp b/contrib/src/boost/checked_delete.hpp new file mode 100644 index 0000000..fb71c78 --- /dev/null +++ b/contrib/src/boost/checked_delete.hpp @@ -0,0 +1,17 @@ +/* + * 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 |