updated build

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);