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=ce1512c4fc8b806437faf31715a8d4f9435703e7;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