From 2f71ba5a6ffe2f5dfa24bd1355d39349523ef557 Mon Sep 17 00:00:00 2001
From: Maarten Flippo <maartenflippo@outlook.com>
Date: Mon, 23 Feb 2026 15:25:31 +1100
Subject: [PATCH] fix(pumpkin-solver): Correctly detect when to write zipped
 proofs

---
 pumpkin-crates/core/src/proof/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pumpkin-crates/core/src/proof/mod.rs b/pumpkin-crates/core/src/proof/mod.rs
index a39e2aa32..e51ab37f7 100644
--- a/pumpkin-crates/core/src/proof/mod.rs
+++ b/pumpkin-crates/core/src/proof/mod.rs
@@ -46,7 +46,7 @@ impl ProofLog {
     pub fn cp(file_path: &Path, log_hints: bool) -> std::io::Result<ProofLog> {
         let file = File::create(file_path)?;
 
-        let sink = if file_path.extension().is_some_and(|ext| ext == ".gz") {
+        let sink = if file_path.extension().is_some_and(|ext| ext == "gz") {
             Sink::GzippedFile(flate2::write::GzEncoder::new(
                 file,
                 flate2::Compression::fast(),