Fix the memout issue seen in recent nightly regressions (was due to a

Statistics-printing problem, limited to certain benchmarks).

Mark some unlabeled header files "cvc4_private.h".

Other minor cleanup.

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 3 insertions, 3 deletions

diff --git a/src/util/statistics_registry.h b/src/util/statistics_registry.h
index b2180ab59..870a88d66 100644
--- a/src/util/statistics_registry.h
+++ b/src/util/statistics_registry.h
@@ -148,7 +148,7 @@ template <>
 inline SExpr mkSExpr(const double& x) {
   // roundabout way to get a Rational from a double
   std::stringstream ss;
-  ss << std::fixed << x;
+  ss << std::fixed << std::setprecision(8) << x;
   return Rational::fromDecimal(ss.str());
 }
 
@@ -487,7 +487,7 @@ public:
 
   SExpr getValue() const {
     std::stringstream ss;
-    ss << d_data;
+    ss << std::fixed << std::setprecision(8) << d_data;
     return SExpr(Rational::fromDecimal(ss.str()));
   }
 
@@ -769,7 +769,7 @@ public:
 
   SExpr getValue() const {
     std::stringstream ss;
-    ss << std::fixed << d_data;
+    ss << std::fixed << std::setprecision(8) << d_data;
     return SExpr(Rational::fromDecimal(ss.str()));
   }