[release] Prevents unused parameter warnings.

dune/common/debugallocator.hh

@@ -84,6 +84,9 @@ namespace Dune
           abort();
         }
 #else
+        DUNE_UNUSED_PARAMETER(from);
+        DUNE_UNUSED_PARAMETER(len);
+        DUNE_UNUSED_PARAMETER(prot);
         std::cerr << "WARNING: memory protection not available" << std::endl;
 #endif
       }

dune/common/enumset.hh

@@ -4,6 +4,7 @@
 #define DUNE_ENUMSET_HH
 
 #include <iostream>
+#include <dune/common/unused.hh>
 
 namespace Dune
 {
@@ -114,12 +115,14 @@ namespace Dune
   template<typename TA>
   inline bool EmptySet<TA>::contains(const Type& attribute)
   {
+    DUNE_UNUSED_PARAMETER(attribute);
     return false;
   }
 
   template<typename TA>
   inline bool AllSet<TA>::contains(const Type& attribute)
   {
+    DUNE_UNUSED_PARAMETER(attribute);
     return true;
   }