From c9a965502491c31469983808b2a449b3246593e8 Mon Sep 17 00:00:00 2001 From: David Wells Date: Sun, 17 Jul 2016 14:12:47 -0400 Subject: [PATCH] Remove an unused header in step-7. Commit ef517a05e0 (March 2001) got rid of the typeid() operator in step-7. --- examples/step-7/step-7.cc | 5 ----- 1 file changed, 5 deletions(-) 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 -- 2.39.5