From: Luca Heltai Date: Wed, 14 Jan 2015 15:17:43 +0000 (+0100) Subject: Removed unnecessary header. Step-9. X-Git-Tag: v8.3.0-rc1~532^2~7 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=042a9eadadd6ff9594de33ac4a863103f8946b2e;p=dealii.git Removed unnecessary header. Step-9. --- diff --git a/examples/step-9/step-9.cc b/examples/step-9/step-9.cc index ed3811369f..24939609bb 100644 --- a/examples/step-9/step-9.cc +++ b/examples/step-9/step-9.cc @@ -34,7 +34,6 @@ #include #include #include -#include #include #include #include