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());
       }
     }
   }