From cea00dc1f7c79f47f05497a7085e2e129934fb98 Mon Sep 17 00:00:00 2001
From: Markus Blatt <mblatt@dune-project.org>
Date: Tue, 5 Jul 2011 20:51:55 +0000
Subject: [PATCH] Included missing headers. make headercheck runs through now.

[[Imported from SVN: r1486]]
---
 dune/istl/novlpschwarz.hh | 1 -
 dune/istl/schwarz.hh      | 1 -
 2 files changed, 2 deletions(-)

diff --git a/dune/istl/novlpschwarz.hh b/dune/istl/novlpschwarz.hh
index e2527c3a7..afa6f9b8c 100644
--- a/dune/istl/novlpschwarz.hh
+++ b/dune/istl/novlpschwarz.hh
@@ -9,7 +9,6 @@
 #include <sstream>
 
 #include <cmath>                // Yes, we do some math here
-#include <sys/times.h>           // for timing measurements
 
 #include <dune/common/timer.hh>
 
diff --git a/dune/istl/schwarz.hh b/dune/istl/schwarz.hh
index b579eefb0..4a76aaeb8 100644
--- a/dune/istl/schwarz.hh
+++ b/dune/istl/schwarz.hh
@@ -9,7 +9,6 @@
 #include <sstream>
 
 #include <cmath>                // Yes, we do some math here
-#include <sys/times.h>           // for timing measurements
 
 #include <dune/common/timer.hh>
 
-- 
GitLab