From: David Wells Date: Sun, 17 Jul 2016 18:12:47 +0000 (-0400) Subject: Remove an unused header in step-7. X-Git-Tag: v8.5.0-rc1~830^2~5 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c9a965502491c31469983808b2a449b3246593e8;p=dealii.git Remove an unused header in step-7. Commit ef517a05e0 (March 2001) got rid of the typeid() operator in step-7. --- diff --git a/examples/step-7/step-7.cc b/examples/step-7/step-7.cc index f1c4a197ac..f013f6ece9 100644 --- a/examples/step-7/step-7.cc +++ b/examples/step-7/step-7.cc @@ -64,11 +64,6 @@ // the same file as the FEValues class: #include -// We need one more include from standard C++, which is necessary when we try -// to find out the actual type behind a pointer to a base class. We will -// explain this in slightly more detail below. The other two include files are -// obvious then: -#include #include #include