From ce1512c4fc8b806437faf31715a8d4f9435703e7 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Tue, 23 Aug 2016 09:00:34 -0400 Subject: [PATCH] remove unnecessary include --- source/base/job_identifier.cc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/source/base/job_identifier.cc b/source/base/job_identifier.cc index c59f8ae212..68ff6973c1 100644 --- a/source/base/job_identifier.cc +++ b/source/base/job_identifier.cc @@ -20,10 +20,6 @@ # include #endif -#ifdef DEAL_II_MSVC -# include -#endif - DEAL_II_NAMESPACE_OPEN -- 2.39.5