diff -up boost_1_53_0/boost/thread/future.hpp\~ boost_1_53_0/boost/thread/future.hpp --- boost_1_53_0/boost/thread/future.hpp~ 2012-12-16 20:01:45.000000000 +0100 +++ boost_1_53_0/boost/thread/future.hpp 2013-07-23 16:50:27.044995968 +0200 @@ -2911,10 +2913,6 @@ namespace boost { typedef typename boost::result_of::type()>::type R; typedef packaged_task packaged_task_type; - - typedef detail::async_func::type> BF; - typedef typename BF::result_type Rp; - #endif #else template @@ -2925,9 +2924,6 @@ namespace boost { typedef typename boost::result_of::type()>::type R; typedef packaged_task packaged_task_type; - - typedef detail::async_func::type> BF; - typedef typename BF::result_type Rp; #endif if (int(policy) & int(launch::async)) Diff finished. Tue Jul 23 16:50:30 2013