[boost] [date_time][graph] Merge required

Subject: [boost] [date_time][graph] Merge required
From: Steve M. Robbins (steve_at_[hidden])
Date: 2008-12-17 00:53:54

Hi,

The enclosed trivial fixes have already been applied on the trunk some
time ago but were never merged.  Could someone please merge changesets
47957 (date_time) and 49000 (graph)?

--- boost-posix-2008-03-21.orig/boost/date_time/time.hpp
+++ boost-posix-2008-03-21/boost/date_time/time.hpp
@@ -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 = 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 = false) const
     {
       return time_system::zone_name(time_);
     }
--- boost-posix-2008-03-21.orig/boost/graph/topological_sort.hpp
+++ boost-posix-2008-03-21/boost/graph/topological_sort.hpp
@@ -37,7 +37,7 @@
       : m_iter(_iter) { }

     template <typename Edge, typename Graph>
-    void back_edge(const Edge& u, Graph&) { throw not_a_dag(); }
+    void back_edge(const Edge&, Graph&) { throw not_a_dag(); }

     template <typename Vertex, typename Graph>
     void finish_vertex(const Vertex& u, Graph&) { *m_iter++ = u; }

Thanks,
-Steve