diff --git a/dune/stuff/common/logstreams.hh b/dune/stuff/common/logstreams.hh index 28812b458267664635c623e9c9d2ff2bfc6e6f6b..0cbbc9b1a77f632c33c9ba1f28b3522c06affe91 100644 --- a/dune/stuff/common/logstreams.hh +++ b/dune/stuff/common/logstreams.hh @@ -8,6 +8,7 @@ #include <iostream> #include <type_traits> +#pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wreorder" namespace Dune { @@ -249,7 +250,7 @@ EmptyLogStream dev_null(dev_null_logflag); } // namespace Stuff } // namespace Dune -#pragma GCC diagnostic warning "-Wreorder" +#pragma GCC diagnostic pop #endif // LOGSTREAMS_HH /** Copyright (c) 2012, Rene Milk