]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: b77d56b)
Remove an unnecessary #include file. 1192/head
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Fri, 24 Jul 2015 18:16:54 +0000 (13:16 -0500)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Fri, 24 Jul 2015 18:16:54 +0000 (13:16 -0500)
source/distributed/grid_refinement.cc patch | blob | history

diff --git a/source/distributed/grid_refinement.cc b/source/distributed/grid_refinement.cc
index 2fc0737c04e2c196adf83a6718d235b149c66d6b..805b6f7c90ab80e0e816f4cb9815233da6791adb 100644 (file)
--- 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
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.