diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2019-03-03 11:38:00 -0800 |
|---|---|---|
| committer | Alex Ozdemir <aozdemir@hmc.edu> | 2019-03-03 11:38:00 -0800 |
| commit | 86ea579d93d84750118d229c4ee03479512d4099 (patch) | |
| tree | c3657b346196a57fbe486af3b7f8ac2286c1dd3c | |
| parent | cfd1b9bf970afc12aa6b8bf6abf13ffbd06d1c35 (diff) | |
Bugfix: `clear` does not empty ostream.
std::ostream::clear actually modifiers the error bits...
| -rw-r--r-- | src/proof/clausal_bitvector_proof.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/clausal_bitvector_proof.cpp b/src/proof/clausal_bitvector_proof.cpp index ceead0783..473429590 100644 --- a/src/proof/clausal_bitvector_proof.cpp +++ b/src/proof/clausal_bitvector_proof.cpp @@ -141,7 +141,8 @@ void ClausalBitVectorProof::optimizeDratProof() "Run contrib/get-drat2er, reconfigure with --drat2er, and rebuild"); #endif - d_binaryDratProof.clear(); + d_binaryDratProof = std::ostringstream{}; + Assert(d_binaryDratProof.str().size() == 0); std::ifstream lratStream(optDratFilename); std::copy(std::istreambuf_iterator<char>(lratStream), std::istreambuf_iterator<char>(), |