From edc91e7a6531de337a90b0dfd524294842b0c536 Mon Sep 17 00:00:00 2001 From: Martin Kronbichler Date: Sun, 18 Sep 2022 15:56:44 +0200 Subject: [PATCH] Remove unnecessary include file --- source/fe/mapping_fe.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/source/fe/mapping_fe.cc b/source/fe/mapping_fe.cc index 50a640b3b2..ea13c2349a 100644 --- a/source/fe/mapping_fe.cc +++ b/source/fe/mapping_fe.cc @@ -32,7 +32,6 @@ #include #include -#include DEAL_II_DISABLE_EXTRA_DIAGNOSTICS #include -- 2.39.5