diff src/pr-output.cc @ 3568:58549b931ad5

[project @ 2000-02-03 10:21:54 by jwe]
author jwe
date Thu, 03 Feb 2000 10:21:56 +0000
parents ab7fa5a8f23f
children ccfafa1d8510
line wrap: on
line diff
--- a/src/pr-output.cc	Thu Feb 03 09:54:29 2000 +0000
+++ b/src/pr-output.cc	Thu Feb 03 10:21:56 2000 +0000
@@ -1121,7 +1121,12 @@
 {
   if (Vfixed_point_format && scale != 1.0)
     {
-      os.form ("  %-8.1e *\n", scale);
+      os << "  "
+	 << std::setw (8) << std::setprecision (1)
+	 << std::setiosflags (std::ios::scientific|std::ios::left)
+	 << scale
+	 << std::resetiosflags (std::ios::scientific|std::ios::left)
+	 << " *\n";
 
       if (! compact_format)
 	os << "\n";