diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-02-02 17:03:10 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-02 19:03:10 -0600 |
| commit | 1b24f3f0fd5fdd4163a46689949fa8a5c60f3322 (patch) | |
| tree | d312cd6b42f002a4545e819bb097ada72d6249e0 /src/theory/arith/cut_log.cpp | |
| parent | ae5c1a5c3a9c6eb7d1af1a4ddbcb841cf7ce4c70 (diff) | |
Restoring ostream format. Resolves a few CIDs 1362780. (#1543)
Diffstat (limited to 'src/theory/arith/cut_log.cpp')
| -rw-r--r-- | src/theory/arith/cut_log.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/theory/arith/cut_log.cpp b/src/theory/arith/cut_log.cpp index ad04cfe22..08fe0bc1e 100644 --- a/src/theory/arith/cut_log.cpp +++ b/src/theory/arith/cut_log.cpp @@ -26,6 +26,7 @@ #include "theory/arith/constraint.h" #include "theory/arith/cut_log.h" #include "theory/arith/normal_form.h" +#include "util/ostream_util.h" using namespace std; @@ -84,8 +85,9 @@ void PrimitiveVec::setup(int l){ } void PrimitiveVec::print(std::ostream& out) const{ Assert(initialized()); - out << len << " "; - out.precision(15); + StreamFormatScope scope(out); + + out << len << " " << std::setprecision(15); for(int i = 1; i <= len; ++i){ out << "["<< inds[i] <<", " << coeffs[i]<<"]"; } |