From 3f641387e48b96ccd4d47b19561d857debcb1ba4 Mon Sep 17 00:00:00 2001 From: Martin Kronbichler Date: Sat, 15 Jan 2022 17:52:39 +0100 Subject: [PATCH] Remove unnecessary include file --- source/dofs/dof_tools_sparsity.cc | 2 -- 1 file changed, 2 deletions(-) diff --git a/source/dofs/dof_tools_sparsity.cc b/source/dofs/dof_tools_sparsity.cc index 810ecb9024..83b90379c1 100644 --- a/source/dofs/dof_tools_sparsity.cc +++ b/source/dofs/dof_tools_sparsity.cc @@ -45,8 +45,6 @@ #include #include -#include - #include #include -- 2.39.5