From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 21 May 2001 15:27:24 +0000 (+0000)
Subject: Remove obviously unnecessary include file.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7eae1e2f4c6c3e5948f8453e7c4ec3359fe9e2d4;p=dealii-svn.git

Remove obviously unnecessary include file.


git-svn-id: https://svn.dealii.org/trunk@4681 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/deal.II/source/numerics/error_estimator.cc b/deal.II/deal.II/source/numerics/error_estimator.cc
index 9f17f6a727..087274c7d0 100644
--- a/deal.II/deal.II/source/numerics/error_estimator.cc
+++ b/deal.II/deal.II/source/numerics/error_estimator.cc
@@ -12,7 +12,6 @@
 //----------------------------  error_estimator.cc  ---------------------------
 
 
-#include <base/timer.h>
 #include <base/thread_management.h>
 #include <base/quadrature.h>
 #include <base/quadrature_lib.h>