From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Mon, 19 Dec 2016 23:07:01 +0000 (-0700)
Subject: Add a copy operator to Mutex so that it can be used in class with an operator=.
X-Git-Tag: v8.5.0-rc1~325^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F3683%2Fhead;p=dealii.git

Add a copy operator to Mutex so that it can be used in class with an operator=.
---

diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h
index 4c61e272b3..e975b97289 100644
--- a/include/deal.II/base/thread_management.h
+++ b/include/deal.II/base/thread_management.h
@@ -304,6 +304,16 @@ namespace Threads
     {}
 
 
+    /**
+     * Copy operators. As discussed in this class's documentation, no state
+     * is copied from the object given as argument.
+     */
+    Mutex &operator = (const Mutex &)
+    {
+      return *this;
+    }
+
+
     /**
      * Acquire a mutex.
      */