Subject: [Boost-bugs] [Boost C++ Libraries] #1535: [result_of] remove unneeded headers
From: Boost C++ Libraries (noreply_at_[hidden])
Date: 2007-12-21 09:47:06
#1535: [result_of] remove unneeded headers
---------------------------------------------------+------------------------
Reporter: Shunsuke Sogame <pstade.mb_at_[hidden]> | Owner: dgregor
Type: Patches | Status: new
Milestone: Boost 1.36.0 | Component: function
Version: Boost Development Trunk | Severity: Optimization
Keywords: result_of |
---------------------------------------------------+------------------------
For some historical reason, utility/result_of.hpp includes unneeded
headers.
Here is a patch.
--
Ticket URL: <http://svn.boost.org/trac/boost/ticket/1535>
Boost C++ Libraries <http://www.boost.org/>
Boost provides free peer-reviewed portable C++ source libraries.
This archive was generated by hypermail 2.1.7 : 2017-02-16 18:49:57 UTC