From 92740e4f497882fc6651140281d1c08b7cf1dc50 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Fri, 24 Jul 2015 13:16:54 -0500
Subject: [PATCH] Remove an unnecessary #include file.

---
 source/distributed/grid_refinement.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/source/distributed/grid_refinement.cc b/source/distributed/grid_refinement.cc
index 2fc0737c04..805b6f7c90 100644
--- a/source/distributed/grid_refinement.cc
+++ b/source/distributed/grid_refinement.cc
@@ -34,7 +34,6 @@
 #include <numeric>
 #include <algorithm>
 #include <limits>
-#include <iomanip>
 
 
 DEAL_II_NAMESPACE_OPEN
-- 
2.39.5