diff --git a/dune/common/test/nullptr-test.cc b/dune/common/test/nullptr-test.cc index 92e9f41cf1f65ac7fa7a8f668312309d858206e7..8535a6606f13311fe39332802037aadab9f8fab8 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