shared_ptr.diff


1
2
3
4
5
6
7
8
9
10
11

--- a/src/libgambit/shared_ptr.h
+++ b/src/libgambit/shared_ptr.h
@@ -131,7 +131,7 @@ template <class T> class weak_ptr {
   long use_count(void) const { return *m_count; }
   bool expired(void) const   { return *m_count == 0; }

-  void swap(const weak_ptr<T> &other)  // never throws
+  void swap(weak_ptr<T> &other)  // never throws
   {
     std::swap(m_ptr, other.m_ptr);
     std::swap(m_count, other.m_count);