From 3a648409f50c20e93061f53a77dd3ff8dfc943fc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20Gr=C3=BCninger?= <gruenich@dune-project.org>
Date: Fri, 28 Nov 2014 22:38:03 +0100
Subject: [PATCH] Ignore unsused typedef.

GCC warns about it.
---
 dune/common/test/nullptr-test.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dune/common/test/nullptr-test.cc b/dune/common/test/nullptr-test.cc
index 92e9f41cf..8535a6606 100644
--- a/dune/common/test/nullptr-test.cc
+++ b/dune/common/test/nullptr-test.cc
@@ -5,10 +5,11 @@
 #endif
 
 #include <dune/common/nullptr.hh>
+#include <dune/common/unused.hh>
 
 void basic_tests()
 {
-  typedef Dune::nullptr_t NULLPTR_T;
+  typedef Dune::nullptr_t NULLPTR_T DUNE_UNUSED;
   char* ch = nullptr;    // ch has the null pointer value
   char* ch2 = 0;         // ch2 has the null pointer value
 #ifdef FAIL
-- 
GitLab