From: Timo Heister Date: Tue, 23 Aug 2016 13:00:34 +0000 (-0400) Subject: remove unnecessary include X-Git-Tag: v8.5.0-rc1~743^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F3004%2Fhead;p=dealii.git remove unnecessary include --- 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