From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 27 May 2014 18:46:11 +0000 (-0400)
Subject: fix timespec printing
X-Git-Tag: cvc5-1.0.0~6884
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d6ea515d7d670abac44d07357b460c57b7d86842;p=cvc5.git

fix timespec printing

sorry prvs fix added some unrelated code
---

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 {