From: David Wells Date: Sun, 26 Aug 2018 17:32:29 +0000 (-0400) Subject: step-37: Remove some unused header #includes. X-Git-Tag: v9.1.0-rc1~756^2~5 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c0b484d39defe3e328428c041a564eb204e32c45;p=dealii.git step-37: Remove some unused header #includes. --- diff --git a/examples/step-37/step-37.cc b/examples/step-37/step-37.cc index a7ea2e6f79..264c963d99 100644 --- a/examples/step-37/step-37.cc +++ b/examples/step-37/step-37.cc @@ -22,21 +22,16 @@ // First include the necessary files from the deal.II library. #include #include -#include #include #include -#include #include #include #include #include -#include #include -#include -#include #include #include