diff options
Diffstat (limited to 'shared_ptr.diff')
| -rw-r--r-- | shared_ptr.diff | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/shared_ptr.diff b/shared_ptr.diff deleted file mode 100644 index 3d70cbb126ee..000000000000 --- a/shared_ptr.diff +++ /dev/null @@ -1,11 +0,0 @@ ---- 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); |