diff options
Diffstat (limited to 'src/utils.cc')
-rw-r--r-- | src/utils.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/utils.cc b/src/utils.cc index d20d585a..d42ed79c 100644 --- a/src/utils.cc +++ b/src/utils.cc @@ -463,12 +463,14 @@ bool logger_func(log_level_t level) *_log_stream << std::right << std::setw(5) << (CURRENT_TIME() - logger_start).total_milliseconds() << "ms"; +#if defined(VERIFY_ON) IF_VERIFY() { *_log_stream << std::right << std::setw(6) << std::setprecision(3); stream_memory_size(*_log_stream, current_objects_size()); *_log_stream << std::right << std::setw(6) << std::setprecision(3); stream_memory_size(*_log_stream, current_memory_size()); } +#endif *_log_stream << " " << std::left << std::setw(7); |