From: Peter Munch Date: Wed, 30 Dec 2020 12:19:35 +0000 (+0100) Subject: Fix warning due to boost X-Git-Tag: v9.3.0-rc1~704^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11439%2Fhead;p=dealii.git Fix warning due to boost --- diff --git a/source/fe/mapping.cc b/source/fe/mapping.cc index 4ef3ef7714..6d1235403d 100644 --- a/source/fe/mapping.cc +++ b/source/fe/mapping.cc @@ -20,7 +20,9 @@ #include +DEAL_II_DISABLE_EXTRA_DIAGNOSTICS #include +DEAL_II_ENABLE_EXTRA_DIAGNOSTICS DEAL_II_NAMESPACE_OPEN