From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Fri, 17 Nov 2017 13:20:41 +0000 (+0100)
Subject: Avoid warning about unused ScopedLock for DEAL_II_WITH_THREADS=OFF
X-Git-Tag: v9.0.0-rc1~757^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=59d090d0406a660a400dc84fd040572cc8d73c22;p=dealii.git

Avoid warning about unused ScopedLock for DEAL_II_WITH_THREADS=OFF
---

diff --git a/include/deal.II/base/thread_management.h b/include/deal.II/base/thread_management.h
index 0db3bbbc99..10a52eb38c 100644
--- a/include/deal.II/base/thread_management.h
+++ b/include/deal.II/base/thread_management.h
@@ -102,9 +102,10 @@ namespace Threads
 
       /**
        * Destructor. Unlock the mutex. Since this is a dummy mutex class, this
-       * of course does nothing.
+       * of course does nothing. We still don't declare it as 'default' to avoid
+       * warnings about objects of this class being unused.
        */
-      ~ScopedLock () = default;
+      ~ScopedLock () {};
     };
 
     /**