--- boost-1_35/boost/date_time/time.hpp 2008-04-07 09:06:26.000000000 -0700 +++ boost-1_35/boost/date_time/time.hpp 2008-04-07 09:18:14.000000000 -0700 @@ -77,14 +77,14 @@ /*! Optional bool parameter will return time zone as an offset * (ie "+07:00"). Empty string is returned for classes that do * not use a time_zone */ - std::string zone_name(bool as_offset=false) const + std::string zone_name(bool /*as_offset*/=false) const { return time_system::zone_name(time_); } /*! Optional bool parameter will return time zone as an offset * (ie "+07:00"). Empty string is returned for classes that do * not use a time_zone */ - std::string zone_abbrev(bool as_offset=false) const + std::string zone_abbrev(bool /*as_offset*/=false) const { return time_system::zone_name(time_); }