Delete a copy operator that wasn't implemented anyway.

diff --git a/include/deal.II/base/exceptions.h b/include/deal.II/base/exceptions.h
index 37a771bf0c3f589e74653e61e507e1701b40c00a..611e1e0d5e3c6814d7ceea9cefc5351dadea0bf2 100644 (file)
--- a/include/deal.II/base/exceptions.h
+++ b/include/deal.II/base/exceptions.h
@@ -57,6 +57,12 @@ public:
    */
   virtual ~ExceptionBase () noexcept;
 
+  /**
+   * Copy operator. This operator is deleted since exception objects
+   * are not copyable.
+   */
+  ExceptionBase operator= (const ExceptionBase &) = delete;
+
   /**
    * Set the file name and line of where the exception appeared as well as the
    * violated condition and the name of the exception as a char pointer. This
@@ -142,11 +148,6 @@ protected:
 #endif
 
 private:
-  /**
-   * Copy operator. Made private since it is not used and not implemented.
-   */
-  ExceptionBase operator= (const ExceptionBase &exc);
-
   /**
    * Internal function that generates the c_string. Called by what().
    */