diff options
author | Alex Ozdemir <aozdemir@hmc.edu> | 2020-03-02 14:06:51 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-02 14:06:51 -0800 |
commit | 735d70753c4697d755e539018e6b6dba03b3262e (patch) | |
tree | 0ebcf9aad9c277b8dda6e3dfb614252ba704271f | |
parent | dadad0593752613dd16058755bd2570f1fad4572 (diff) |
Fixed shadow warnings for batch number 52 (#3861)
-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()); } } } |