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 8246bfdd23c0aafdcf957e2e04f8dfee0353b7ef..186433c5adcef41cb2d8e17b054a6f58cb277810 100644 (file)
--- 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 {