diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-27 14:46:11 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-05-27 14:46:11 -0400 |
commit | d6ea515d7d670abac44d07357b460c57b7d86842 (patch) | |
tree | a630bbcadb66c90fecb8b54aa2dd77de95e3fd11 /src | |
parent | b94d1607bfed1a66591a35de40d7d2a00014286c (diff) |
fix timespec printing
sorry prvs fix added some unrelated code
Diffstat (limited to 'src')
-rw-r--r-- | src/util/statistics_registry.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/statistics_registry.h b/src/util/statistics_registry.h index 8246bfdd2..186433c5a 100644 --- a/src/util/statistics_registry.h +++ b/src/util/statistics_registry.h @@ -762,7 +762,7 @@ inline bool operator>=(const timespec& a, const timespec& b) { inline std::ostream& operator<<(std::ostream& os, const timespec& t) { // assumes t.tv_nsec is in range return os << t.tv_sec << "." - << std::setfill('0') << std::setw(8) << std::right << t.tv_nsec; + << std::setfill('0') << std::setw(9) << std::right << t.tv_nsec; } namespace CVC4 { |