Fix single shadow warning in group 57. (#3855)

1 files changed, 4 insertions, 4 deletions

diff --git a/src/proof/clausal_bitvector_proof.cpp b/src/proof/clausal_bitvector_proof.cpp
index 6b0a57725..6a5009b1f 100644
--- a/src/proof/clausal_bitvector_proof.cpp
+++ b/src/proof/clausal_bitvector_proof.cpp
@@ -196,11 +196,11 @@ void ClausalBitVectorProof::optimizeDratProof()
 
     if (options::bvOptimizeSatProof() == options::BvOptimizeSatProof::FORMULA)
     {
-      std::ifstream optFormulaStream{optFormulaFilename};
-      const int64_t startPos = static_cast<int64_t>(optFormulaStream.tellg());
-      std::vector<prop::SatClause> core = parseDimacs(optFormulaStream);
+      std::ifstream optFormulaInStream{optFormulaFilename};
+      const int64_t startPos = static_cast<int64_t>(optFormulaInStream.tellg());
+      std::vector<prop::SatClause> core = parseDimacs(optFormulaInStream);
       d_dratOptimizationStatistics.d_optimizedFormulaSize.setData(
-          static_cast<int64_t>(optFormulaStream.tellg()) - startPos);
+          static_cast<int64_t>(optFormulaInStream.tellg()) - startPos);
 
       CodeTimer clauseMatchingTimer{
           d_dratOptimizationStatistics.d_clauseMatchingTime};