From d6ea515d7d670abac44d07357b460c57b7d86842 Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Tue, 27 May 2014 14:46:11 -0400 Subject: [PATCH] fix timespec printing sorry prvs fix added some unrelated code --- src/util/statistics_registry.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 { -- 2.30.2