Don't push/pop options around Boost.DateTime header.
diff --git a/asio/include/asio/deadline_timer.hpp b/asio/include/asio/deadline_timer.hpp
index 58a61af..8bf22ce 100644
--- a/asio/include/asio/deadline_timer.hpp
+++ b/asio/include/asio/deadline_timer.hpp
@@ -23,9 +23,7 @@
 #include "asio/detail/socket_types.hpp" // Must come before posix_time.
 #include "asio/basic_deadline_timer.hpp"
 
-#include "asio/detail/push_options.hpp"
 #include <boost/date_time/posix_time/posix_time_types.hpp>
-#include "asio/detail/pop_options.hpp"
 
 namespace asio {
 
diff --git a/asio/include/asio/time_traits.hpp b/asio/include/asio/time_traits.hpp
index afdae60..4cc4e24 100644
--- a/asio/include/asio/time_traits.hpp
+++ b/asio/include/asio/time_traits.hpp
@@ -20,9 +20,7 @@
 #if defined(ASIO_HAS_BOOST_DATE_TIME) \
   || defined(GENERATING_DOCUMENTATION)
 
-#include "asio/detail/push_options.hpp"
 #include <boost/date_time/posix_time/posix_time_types.hpp>
-#include "asio/detail/pop_options.hpp"
 
 #include "asio/detail/push_options.hpp"