From: Luca Heltai Date: Wed, 14 Jan 2015 15:16:03 +0000 (+0100) Subject: Removed unnecessary header. X-Git-Tag: v8.3.0-rc1~532^2~9 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dd426d19ab6e05d2dfac2e5941b497de27846e42;p=dealii.git Removed unnecessary header. --- diff --git a/examples/step-7/step-7.cc b/examples/step-7/step-7.cc index 0bc9e4deaf..f66e044807 100644 --- a/examples/step-7/step-7.cc +++ b/examples/step-7/step-7.cc @@ -36,7 +36,6 @@ #include #include #include -#include #include #include #include