From 0eb078aa06cce0ded62b581d2a730eeeaeddf9af Mon Sep 17 00:00:00 2001
From: Christian Engwer <christi@dune-project.org>
Date: Fri, 30 Mar 2007 21:26:28 +0000
Subject: [PATCH] merge 722:723 from trunk
[[Imported from SVN: r742]]
---
istl/io.hh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/istl/io.hh b/istl/io.hh
index 3710ad3e5..406e097bf 100644
--- a/istl/io.hh
+++ b/istl/io.hh
@@ -91,6 +91,7 @@ namespace Dune {
// reset the output format
s.flags(oldflags);
+ s.precision(oldprec);
}
@@ -208,6 +209,7 @@ namespace Dune {
// reset the output format
s.flags(oldflags);
+ s.precision(oldprec);
}
/**
--
GitLab