From: bangerth Date: Thu, 26 Jan 2012 18:50:39 +0000 (+0000) Subject: Remove a header file we didn't need. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=30a52b183588c70d587517b918c227bf6c7acf45;p=dealii-svn.git Remove a header file we didn't need. git-svn-id: https://svn.dealii.org/trunk@24938 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/source/base/table_handler.cc b/deal.II/source/base/table_handler.cc index 386b902a80..17be2f59f6 100644 --- a/deal.II/source/base/table_handler.cc +++ b/deal.II/source/base/table_handler.cc @@ -2,7 +2,7 @@ // $Id$ // Version: $Name$ // -// Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2009, 2011 by the deal.II authors +// Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2009, 2011, 2012 by the deal.II authors // // This file is subject to QPL and may not be distributed // without copyright and license information. Please refer @@ -14,7 +14,6 @@ #include #include -#include #include #include @@ -90,7 +89,7 @@ namespace internal { TableEntry new_entry = *this; boost::apply_visitor(Local::GetDefaultValue(), new_entry.value); - + return new_entry; } @@ -127,7 +126,7 @@ TableHandler::Column::pad_column_below (const unsigned int size) // we should never have a column that is completely // empty and that needs to be padded Assert (entries.size() > 0, ExcInternalError()); - + // add as many elements as necessary while (entries.size() < size) entries.push_back (entries.back().get_default_constructed_copy()); @@ -284,7 +283,7 @@ void TableHandler::write_text(std::ostream &out, p != columns.end(); ++p) p->second.pad_column_below (max_rows); } - + std::vector sel_columns; get_selected_columns(sel_columns); @@ -370,10 +369,10 @@ void TableHandler::write_text(std::ostream &out, // finally column break out << ' '; - + break; } - + case table_with_separate_column_description: { // print column key with column number. enumerate @@ -381,12 +380,12 @@ void TableHandler::write_text(std::ostream &out, out << "# " << j+1 << ": " << key << std::endl; break; } - + default: Assert (false, ExcInternalError()); } } - if (format == table_with_headers) + if (format == table_with_headers) out << std::endl; for (unsigned int i=0; i::const_iterator col_iter = columns.begin(); unsigned int n = col_iter->second.entries.size(); std::string first_name=col_iter->first;