remove/shuffle some #include dependencies; fix some documentation; apply coding standards

1 files changed, 5 insertions, 6 deletions

diff --git a/src/util/stats.cpp b/src/util/stats.cpp
index 8ce82ee7f..5be9525a9 100644
--- a/src/util/stats.cpp
+++ b/src/util/stats.cpp
@@ -25,15 +25,14 @@ StatisticsRegistry::StatSet StatisticsRegistry::d_registeredStats;
 
 std::string Stat::s_delim(",");
 
-
-
-
-void StatisticsRegistry::flushStatistics(std::ostream& out){
+void StatisticsRegistry::flushStatistics(std::ostream& out) {
 #ifdef CVC4_STATISTICS_ON
-  for(StatSet::iterator i=d_registeredStats.begin();i != d_registeredStats.end();++i){
+  for(StatSet::iterator i = d_registeredStats.begin();
+      i != d_registeredStats.end();
+      ++i) {
     Stat* s = *i;
     s->flushStat(out);
     out << std::endl;
   }
 #endif
-}
+}/* StatisticsRegistry::flushStatistics() */