diff options
Diffstat (limited to 'src/proof/drat/drat_proof.cpp')
-rw-r--r-- | src/proof/drat/drat_proof.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/proof/drat/drat_proof.cpp b/src/proof/drat/drat_proof.cpp index 162efc3e5..e35741cde 100644 --- a/src/proof/drat/drat_proof.cpp +++ b/src/proof/drat/drat_proof.cpp @@ -215,12 +215,12 @@ DratProof DratProof::fromBinary(const std::string& s) } default: { - std::ostringstream s; - s << "Invalid instruction in Drat proof. Instruction bits: " - << std::bitset<8>(*i) - << ". Expected 'a' (01100001) or 'd' " - "(01100100)."; - throw InvalidDratProofException(s.str()); + std::ostringstream errmsg; + errmsg << "Invalid instruction in Drat proof. Instruction bits: " + << std::bitset<8>(*i) + << ". Expected 'a' (01100001) or 'd' " + "(01100100)."; + throw InvalidDratProofException(errmsg.str()); } } } |